ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintSet

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintSet

public class ConstraintSet
extends java.lang.Object

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

addExportedConstraint

public void addExportedConstraint(java.lang.String cons)
add an exported constraint to this semantic set of constraints
Parameters:
cons - the constraint to add

addLocalConstraint

public void addLocalConstraint(java.lang.String cons)
add a local constraint to this semantic set of constraints
Parameters:
cons - the constraint to add

addVariable

public void addVariable(java.lang.String var,
                        ConstraintType type)
add a variable to this semantic set of constraints
Parameters:
var - the variable to add
type - the type of the variable

addAxiom

public void addAxiom(java.lang.String cons,
                     Constraint c)
add an axiom to this semantic set of constraints
Parameters:
axiom - the axiom to add
expression - the expression of the axiom

addUnknownType

public void addUnknownType(java.lang.String type)
add an unknown type
Parameters:
type - the unknown type

exportedConstraints

public java.util.Set exportedConstraints()
returns the exported constraints
Returns:
the set of exported constraints

localConstraints

public java.util.Set localConstraints()
returns the local constraints
Returns:
the set of local constraints

variables

public java.util.Map variables()
returns the variables
Returns:
the map of variables

axioms

public java.util.Map axioms()
returns the axioms
Returns:
the map of axioms

moduleName

public java.lang.String moduleName()

containsExportedConstraint

public boolean containsExportedConstraint(java.lang.String name)
looks if the specified constraint is contained in this set
Parameters:
cons - the constraint to look for

containsLocalConstraint

public boolean containsLocalConstraint(java.lang.String name)
looks if the specified constraint is contained in this set
Parameters:
cons - the constraint to look for

containsVariable

public boolean containsVariable(java.lang.String name)
looks if the specified variable is contained in this set
Parameters:
var - the variable to look for

getTypeOfVar

public ConstraintType getTypeOfVar(java.lang.String var)
                            throws java.lang.Exception

containsAxiom

public boolean containsAxiom(java.lang.String cons)
looks if the specified axiom is contained in this set
Parameters:
axiom - the axiom to look for

containsUnknownType

public boolean containsUnknownType()
looks if there is any unknown type
Parameters:
type - the unknown type to look for

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object