org.clafer.ast

Class AstConcreteClafer

java.lang.Object

org.clafer.ast.AstClafer

org.clafer.ast.AstConcreteClafer

All Implemented Interfaces:

AstVar

Direct Known Subclasses:

AstModel

public class AstConcreteClafer
extends AstClafer

A concrete Clafer.

Author:

jimmy

Field Summary

Fields inherited from class org.clafer.ast.AstClafer

claferClafer

Method Summary

Methods

Modifier and Type	Method and Description
AstConcreteClafer	extending(AstAbstractClafer superClafer) Set the supertype of this Clafer.
Card	getCard() Returns this Clafer's cardinality.
AstClafer	getParent() Returns this Clafer's parent.
boolean	hasParent() Checks if this Clafer has a parent.
AstConcreteClafer	refTo(AstClafer targetType) Set this Clafer's reference to target type.
AstConcreteClafer	refToUnique(AstClafer targetType) Set this Clafer's reference to target type along with a uniqueness constraint.
AstConcreteClafer	withCard(Card card) Set this Clafer's cardinality.
AstConcreteClafer	withCard(int low) Set this Clafer's low cardinality and set the high cardinality to unbounded.
AstConcreteClafer	withCard(int low, int high) Set this Clafer's cardinality.
AstConcreteClafer	withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstConcreteClafer	withGroupCard(int low) Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
AstConcreteClafer	withGroupCard(int low, int high) Set this Clafer's group cardinality.

Methods inherited from class org.clafer.ast.AstClafer

addChild, addConstraint, equals, getChildren, getConstraints, getGroupCard, getName, getRef, getSuperClafer, hasChildren, hasConstraints, hashCode, hasRef, hasSuperClafer, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

hasParent

public boolean hasParent()

Checks if this Clafer has a parent. Every Clafer has a parent except for the special Clafer at the root of the hierarchy.

Returns:

true if and only if this Clafer has a parent, false otherwise

getParent

public AstClafer getParent()

Returns this Clafer's parent.

Returns:

this Clafer's parent

getCard

public Card getCard()

Returns this Clafer's cardinality.

Returns:

this Clafer's cardinality

withCard

public AstConcreteClafer withCard(Card card)

Set this Clafer's cardinality.

Parameters:

card - the cardinality

Returns:

this Clafer

withCard

public AstConcreteClafer withCard(int low)

Set this Clafer's low cardinality and set the high cardinality to unbounded.

Parameters:

low - the low group cardinality

Returns:

this Clafer

withCard

public AstConcreteClafer withCard(int low,
                         int high)

Set this Clafer's cardinality.

Parameters:

low - the low cardinality

high - the high cardinality

Returns:

this Clafer

withGroupCard

public AstConcreteClafer withGroupCard(Card groupCard)

Set this Clafer's group cardinality.

Overrides:

withGroupCard in class AstClafer

Parameters:

groupCard - the group cardinality

Returns:

this Clafer

withGroupCard

public AstConcreteClafer withGroupCard(int low)

Set this Clafer's low group cardinality and set the high group cardinality to unbounded.

Overrides:

withGroupCard in class AstClafer

Parameters:

low - the low group cardinality

Returns:

this Clafer

withGroupCard

public AstConcreteClafer withGroupCard(int low,
                              int high)

Set this Clafer's group cardinality.

Overrides:

withGroupCard in class AstClafer

Parameters:

low - the low group cardinality

high - the high group cardinality

Returns:

this Clafer

extending

public AstConcreteClafer extending(AstAbstractClafer superClafer)

Set the supertype of this Clafer.

Overrides:

extending in class AstClafer

Parameters:

superClafer - the supertype

Returns:

this Clafer

refTo

public AstConcreteClafer refTo(AstClafer targetType)

Set this Clafer's reference to target type.

Overrides:

refTo in class AstClafer

Parameters:

targetType - the type to refer to

Returns:

this Clafer

refToUnique

public AstConcreteClafer refToUnique(AstClafer targetType)

Set this Clafer's reference to target type along with a uniqueness constraint.

Overrides:

refToUnique in class AstClafer

Parameters:

targetType - the type to refer to

Returns:

this Clafer