Class Predicate

java.lang.Object

liquidjava.rj_language.Predicate

Direct Known Subclasses:

BuiltinFunctionPredicate

public class Predicate
extends Object

Acts as a wrapper for Expression AST

Author:

cgamboa

Field Summary

Fields

Modifier and Type	Field	Description
protected Expression	exp
protected String	prefix

Constructor Summary

Constructors

Constructor	Description
Predicate()	Create a predicate with the expression true
Predicate(String ref, spoon.reflect.declaration.CtElement element)	Create a new predicate with a refinement
Predicate(String ref, spoon.reflect.declaration.CtElement element, String prefix)	Create a new predicate with a refinement and a given prefix for the class
Predicate(Expression e)	Create a predicate with the expression true

Method Summary

Modifier and Type	Method	Description
Predicate	changeAliasToRefinement(Context context, spoon.reflect.factory.Factory f)
Predicate	changeOldMentions(String previousName, String newName)	Change old mentions of previous name to the new name e.g., old(previousName) -> newName
Predicate	changeStatesToRefinements(List<GhostState> ghostState, String[] toChange)
Predicate	clone()
static Predicate	createConjunction(Predicate c1, Predicate c2)
static Predicate	createDisjunction(Predicate c1, Predicate c2)
static Predicate	createEquals(Predicate c1, Predicate c2)
static Predicate	createInvocation(String name, Predicate... Predicates)
static Predicate	createITE(Predicate c1, Predicate c2, Predicate c3)
static Predicate	createLit(String value, String type)
static Predicate	createOperation(Predicate c1, String op, Predicate c2)
static Predicate	createVar(String name)
Expression	getExpression()
List<GhostState>	getStateInvocations(List<GhostState> lgs)
List<String>	getVariableNames()
protected Expression	innerParse(String ref, String prefix)
boolean	isBooleanTrue()
Predicate	negate()
protected Expression	parse(String ref, spoon.reflect.declaration.CtElement element)
ValDerivationNode	simplify()
Predicate	substituteVariable(String from, String to)
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

exp

protected Expression exp

prefix

protected String prefix

Constructor Details

Predicate

public Predicate()

Create a predicate with the expression true

Predicate

public Predicate(String ref,
 spoon.reflect.declaration.CtElement element)
          throws LJError

Create a new predicate with a refinement

Parameters:

ref -

element -

Throws:

LJError

Predicate

public Predicate(String ref,
 spoon.reflect.declaration.CtElement element,
 String prefix)
          throws LJError

Create a new predicate with a refinement and a given prefix for the class

Parameters:

ref -

element -

prefix -

Throws:

LJError

Predicate

public Predicate(Expression e)

Create a predicate with the expression true

Method Details

parse

protected Expression parse(String ref,
 spoon.reflect.declaration.CtElement element)
                    throws LJError

Throws:

LJError

innerParse

protected Expression innerParse(String ref,
 String prefix)
                         throws LJError

Throws:

LJError

changeAliasToRefinement

public Predicate changeAliasToRefinement(Context context,
 spoon.reflect.factory.Factory f)
                                  throws Exception

Throws:

Exception

negate

public Predicate negate()

substituteVariable

public Predicate substituteVariable(String from,
 String to)

getVariableNames

public List<String> getVariableNames()

getStateInvocations

public List<GhostState> getStateInvocations(List<GhostState> lgs)

changeOldMentions

public Predicate changeOldMentions(String previousName,
 String newName)

Change old mentions of previous name to the new name e.g., old(previousName) -> newName

changeStatesToRefinements

public Predicate changeStatesToRefinements(List<GhostState> ghostState,
 String[] toChange)
                                    throws LJError

Throws:

LJError

isBooleanTrue

public boolean isBooleanTrue()

toString

public String toString()

Overrides:

toString in class Object

clone

public Predicate clone()

Overrides:

clone in class Object

getExpression

public Expression getExpression()

simplify

public ValDerivationNode simplify()

createConjunction

public static Predicate createConjunction(Predicate c1,
 Predicate c2)

createDisjunction

public static Predicate createDisjunction(Predicate c1,
 Predicate c2)

createEquals

public static Predicate createEquals(Predicate c1,
 Predicate c2)

createITE

public static Predicate createITE(Predicate c1,
 Predicate c2,
 Predicate c3)

createLit

public static Predicate createLit(String value,
 String type)

createOperation

public static Predicate createOperation(Predicate c1,
 String op,
 Predicate c2)

createVar

public static Predicate createVar(String name)

createInvocation

public static Predicate createInvocation(String name,
 Predicate... Predicates)