|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintSet
Semantic representation of a ConstraintModule. Build when user wants to "check" the semantic of a constraints module
Method Summary | |
void |
addAxiom(java.lang.String cons,
Constraint c)
add an axiom to this semantic set of constraints |
void |
addExportedConstraint(java.lang.String cons)
add an exported constraint to this semantic set of constraints |
void |
addLocalConstraint(java.lang.String cons)
add a local constraint to this semantic set of constraints |
void |
addUnknownType(java.lang.String type)
add an unknown type |
void |
addVariable(java.lang.String var,
ConstraintType type)
add a variable to this semantic set of constraints |
java.util.Map |
axioms()
returns the axioms |
java.lang.Object |
clone()
|
boolean |
containsAxiom(java.lang.String cons)
looks if the specified axiom is contained in this set |
boolean |
containsExportedConstraint(java.lang.String name)
looks if the specified constraint is contained in this set |
boolean |
containsLocalConstraint(java.lang.String name)
looks if the specified constraint is contained in this set |
boolean |
containsUnknownType()
looks if there is any unknown type |
boolean |
containsVariable(java.lang.String name)
looks if the specified variable is contained in this set |
boolean |
equals(java.lang.Object obj)
|
java.util.Set |
exportedConstraints()
returns the exported constraints |
ConstraintType |
getTypeOfVar(java.lang.String var)
|
java.util.Set |
localConstraints()
returns the local constraints |
java.lang.String |
moduleName()
|
java.util.Map |
variables()
returns the variables |
Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public void addExportedConstraint(java.lang.String cons)
cons
- the constraint to addpublic void addLocalConstraint(java.lang.String cons)
cons
- the constraint to addpublic void addVariable(java.lang.String var, ConstraintType type)
var
- the variable to addtype
- the type of the variablepublic void addAxiom(java.lang.String cons, Constraint c)
axiom
- the axiom to addexpression
- the expression of the axiompublic void addUnknownType(java.lang.String type)
type
- the unknown typepublic java.util.Set exportedConstraints()
public java.util.Set localConstraints()
public java.util.Map variables()
public java.util.Map axioms()
public java.lang.String moduleName()
public boolean containsExportedConstraint(java.lang.String name)
cons
- the constraint to look forpublic boolean containsLocalConstraint(java.lang.String name)
cons
- the constraint to look forpublic boolean containsVariable(java.lang.String name)
var
- the variable to look forpublic ConstraintType getTypeOfVar(java.lang.String var) throws java.lang.Exception
public boolean containsAxiom(java.lang.String cons)
axiom
- the axiom to look forpublic boolean containsUnknownType()
type
- the unknown type to look forpublic boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.Object clone()
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |