org.clafer.ast

Class AstAbstractClafer

java.lang.Object

org.clafer.ast.AstClafer

org.clafer.ast.AstAbstractClafer

All Implemented Interfaces:

AstVar

public class AstAbstractClafer
extends AstClafer

An abstract Clafer.

Author:

jimmy

Field Summary

Fields inherited from class org.clafer.ast.AstClafer

claferClafer

Method Summary

Methods

Modifier and Type	Method and Description
AstAbstractClafer	extending(AstAbstractClafer superClafer) Set the supertype of this Clafer.
List<AstClafer>	getSubs() Returns the Clafers that extend this Clafer
AstAbstractClafer	refTo(AstClafer targetType) Set this Clafer's reference to target type.
AstAbstractClafer	refToUnique(AstClafer targetType) Set this Clafer's reference to target type along with a uniqueness constraint.
String	toString()
AstAbstractClafer	withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstAbstractClafer	withGroupCard(int low) Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
AstAbstractClafer	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

Methods inherited from class java.lang.Object

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

Method Detail

withGroupCard

public AstAbstractClafer withGroupCard(Card groupCard)

Set this Clafer's group cardinality.

Overrides:

withGroupCard in class AstClafer

Parameters:

groupCard - the group cardinality

Returns:

this Clafer

withGroupCard

public AstAbstractClafer 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 AstAbstractClafer 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

getSubs

public List<AstClafer> getSubs()

Returns the Clafers that extend this Clafer

Returns:

this Clafers subtypes

extending

public AstAbstractClafer extending(AstAbstractClafer superClafer)

Set the supertype of this Clafer.

Overrides:

extending in class AstClafer

Parameters:

superClafer - the supertype

Returns:

this Clafer

refTo

public AstAbstractClafer 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 AstAbstractClafer 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

toString

public String toString()

Overrides:

toString in class AstClafer