public class RelationCoDomainRestriction extends RelationRestriction
Represents a coDomainRestriction tag for RelationExpressions.
Modifier and Type | Field and Description |
---|---|
protected ClassExpression |
codomain |
variable
Constructor and Description |
---|
RelationCoDomainRestriction()
Constructs a simple RelationCoDomainRestriction
|
RelationCoDomainRestriction(ClassExpression cod)
Constructs a RelationCoDomainRestriction with the given restriction.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
ClassExpression |
getCoDomain() |
getVariable, setVariable
protected ClassExpression codomain
public RelationCoDomainRestriction()
java.lang.NullPointerException
- if the restriction is nullpublic RelationCoDomainRestriction(ClassExpression cod)
cod
- the restricting target class expression as codomainjava.lang.NullPointerException
- if the restriction is nullpublic void accept(EDOALVisitor visitor) throws AlignmentException
accept
in interface ValueExpression
accept
in class Expression
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in interface ValueExpression
accept
in class Expression
AlignmentException
public ClassExpression getCoDomain()
(C) INRIA & friends, 2003-2020