Class Predicate
java.lang.Object
liquidjava.rj_language.Predicate
- Direct Known Subclasses:
BuiltinFunctionPredicate
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionCreate a predicate with the expression trueCreate a new predicate with a refinementCreate a new predicate with a refinement and a given prefix for the classCreate a predicate with the expression true -
Method Summary
Modifier and TypeMethodDescriptionchangeAliasToRefinement(Context context, spoon.reflect.factory.Factory f) changeOldMentions(String previousName, String newName) Change old mentions of previous name to the new name e.g., old(previousName) -> newNamechangeStatesToRefinements(List<GhostState> ghostState, String[] toChange) clone()static PredicatecreateConjunction(Predicate c1, Predicate c2) static PredicatecreateDisjunction(Predicate c1, Predicate c2) static PredicatecreateEquals(Predicate c1, Predicate c2) static PredicatecreateInvocation(String name, Predicate... Predicates) static Predicatestatic Predicatestatic PredicatecreateOperation(Predicate c1, String op, Predicate c2) static Predicateprotected ExpressioninnerParse(String ref, String prefix) booleannegate()protected Expressionsimplify()substituteVariable(String from, String to) toString()
-
Field Details
-
exp
-
prefix
-
-
Constructor Details
-
Predicate
public Predicate()Create a predicate with the expression true -
Predicate
-
Predicate
-
Predicate
Create a predicate with the expression true
-
-
Method Details
-
parse
- Throws:
LJError
-
innerParse
- Throws:
LJError
-
changeAliasToRefinement
-
negate
-
substituteVariable
-
getVariableNames
-
getStateInvocations
-
changeOldMentions
-
changeStatesToRefinements
-
isBooleanTrue
public boolean isBooleanTrue() -
toString
-
clone
-
getExpression
-
simplify
-
createConjunction
-
createDisjunction
-
createEquals
-
createITE
-
createLit
-
createOperation
-
createVar
-
createInvocation
-