public class Property extends AbstractBooleanExpression
\old(-)
". For instance, an expression that states that the method call increases the
length of a List
object named list
by one would be written "list.size() +
1 == \old(list.size())
".
The JSON serialization of this class is used to read the specifications for an operation given
using the --specifications
command-line option. The JSON should include a JSON object
labeled by the name of each field of this class, as in
{
"conditionText": "result >= 0"
,
"description": "received value is non-negative"
}
The identifiers in the guard should be given in the Identifiers
for the OperationSpecification
containing the SpecificationClause
where the property occurs.
This is identical to Guard
, but has a different name to distinguish them in the JSON
file.
Constructor and Description |
---|
Property(java.lang.String description,
java.lang.String conditionText)
Creates a
Property with the given description and condition code. |
equals, getConditionSource, getDescription, hashCode, toString
public Property(java.lang.String description, java.lang.String conditionText)
Property
with the given description and condition code.description
- the description of this boolean conditionconditionText
- the text of the Java code for the created condition