Package cruise.umple.compiler
Class ConstraintUnassignedName
java.lang.Object
cruise.umple.compiler.ConstraintVariable
cruise.umple.compiler.ConstraintNamed
cruise.umple.compiler.ConstraintUnassignedName
- All Implemented Interfaces:
java.lang.Iterable<ConstraintVariable>
public class ConstraintUnassignedName extends ConstraintNamed
ConstraintUnassignedNames are names that were not recognized by the analysis, for example ConstraintMethodParameters are originally ConstraintUnassignedNames,
but are caught when they are added to the Precondition or Postcondition and a ConstraintMethodParameter is added instead of the ConstraintUnassignedName.
-
Constructor Summary
Constructors Constructor Description ConstraintUnassignedName(java.lang.String aValue)
-
Method Summary
Modifier and Type Method Description void
delete()
boolean
equals(java.lang.Object obj)
java.lang.String
getName()
The reason d'etre of this super class, it ensures that subclasses have getName methodsjava.lang.String
getType()
java.lang.String
getValue()
int
hashCode()
boolean
setValue(java.lang.String aValue)
java.lang.String
toString()
Methods inherited from class cruise.umple.compiler.ConstraintVariable
getValue, iterator, retrieveClassifier
-
Constructor Details
-
ConstraintUnassignedName
public ConstraintUnassignedName(java.lang.String aValue)
-
-
Method Details
-
setValue
public boolean setValue(java.lang.String aValue) -
getValue
public java.lang.String getValue() -
equals
public boolean equals(java.lang.Object obj)- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()- Overrides:
hashCode
in classjava.lang.Object
-
delete
public void delete()- Overrides:
delete
in classConstraintNamed
-
getName
public java.lang.String getName()Description copied from class:ConstraintNamed
The reason d'etre of this super class, it ensures that subclasses have getName methods- Specified by:
getName
in classConstraintNamed
-
getType
public java.lang.String getType()- Specified by:
getType
in classConstraintVariable
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-