public class ClassOccurenceRestriction extends ClassRestriction implements java.lang.Cloneable
Represents a attributeOccurenceRestriction tag for a ClassExpressions.
Modifier and Type | Field and Description |
---|---|
(package private) Comparator |
comparator |
(package private) int |
occurence |
constrainedPath
variable
Constructor and Description |
---|
ClassOccurenceRestriction(PathExpression p,
Comparator c,
int n)
Constructs a ClassOccurenceRestriction with the given restriction.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
Comparator |
getComparator() |
int |
getOccurence() |
void |
setComparator(Comparator c) |
void |
setOccurence(int n) |
getRestrictionPath, setRestrictionPath
getVariable, setVariable
Comparator comparator
int occurence
public ClassOccurenceRestriction(PathExpression p, Comparator c, int n)
p
- the constrained PathExpressionc
- the restriction Comparatorn
- the number of occurence comparedjava.lang.NullPointerException
- if the restriction is nullpublic void accept(EDOALVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public int getOccurence()
public void setOccurence(int n)
public Comparator getComparator()
public void setComparator(Comparator c)
(C) INRIA & friends, 2003-2020