- name - Variable in class uk.ac.sheffield.vtts.model.Named
-
The name attribute of a Named element.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Checks the name of an Arithmetic expression and sets the expected
number of operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Checks the operator name of this Assignment expression and sets the
maximum number of operands to two.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Checks the name of an Atomic predicate and sets the number of
operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Checks the name of a Comparison predicate and sets the expected
number of operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Function
-
Checks the chosen name for this Function and sets the maximum number
of operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Checks the name of this Manipulation expression and sets the expected
number of operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Checks the name of this Membership predicate and sets the expected
number of operands.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Projection
-
Checks the name of this Projection expression and sets the number
of operands to one for a projection and two for a pair construction.
- nameCheck() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Validates the name of a logical Proposition and sets the expected
number of operands.
- Named - Class in uk.ac.sheffield.vtts.model
-
Named is the ancestor of all named elements in the metamodel.
- Named() - Constructor for class uk.ac.sheffield.vtts.model.Named
-
Creates a default Named element with no name.
- Named(String) - Constructor for class uk.ac.sheffield.vtts.model.Named
-
Creates a Named element with the given name.
- negate(Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the negation of a numerical value.
- negate() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Negates this Atomic predicate.
- negate() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Returns the complement of this Comparison.
- negate() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Returns the complement of this Membership predicate.
- negate() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Returns the complement of this Predicate.
- negate() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Returns the complement of this logical Proposition.
- normalise() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Returns this Predicate in normal form.
- normalise() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Converts this Proposition into a term dominated by AND, OR or NOT.
- notEmpty(Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the collection is not empty.
- notEquals(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether two values are not equal.
- notice - Variable in class uk.ac.sheffield.vtts.model.Annotated
-
The Notice attached to this Annotated object, typically
a Warning or Analysis node.
- Notice - Class in uk.ac.sheffield.vtts.model
-
Notice is the ancestor of different notice, analysis and warning messages.
- Notice() - Constructor for class uk.ac.sheffield.vtts.model.Notice
-
Creates an empty Notice.
- Notice(String) - Constructor for class uk.ac.sheffield.vtts.model.Notice
-
Creates a Notice with the given text.
- notices - Variable in class uk.ac.sheffield.vtts.model.Notice
-
The Annotations attached to this Notice.
- notLessThan(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether the first value is greater than, or equal to the second
value.
- notMoreThan(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether the first value is less than, or equal to the second
value.