Class BuiltinFunctionPredicate

java.lang.Object

liquidjava.rj_language.Predicate

liquidjava.rj_language.BuiltinFunctionPredicate

public class BuiltinFunctionPredicate
extends Predicate

Field Summary

Fields inherited from class liquidjava.rj_language.Predicate

exp, prefix

Constructor Summary

Constructors

Constructor	Description
BuiltinFunctionPredicate(spoon.reflect.declaration.CtElement elem, String functionName, String... params)

Method Summary

Modifier and Type	Method	Description
static BuiltinFunctionPredicate	addToIndex(String index, String value, spoon.reflect.declaration.CtElement elem)
static BuiltinFunctionPredicate	length(String param, spoon.reflect.declaration.CtElement elem)

Methods inherited from class liquidjava.rj_language.Predicate

changeAliasToRefinement, changeOldMentions, changeStatesToRefinements, clone, createConjunction, createDisjunction, createEquals, createInvocation, createITE, createLit, createOperation, createVar, getExpression, getStateInvocations, getVariableNames, innerParse, isBooleanTrue, negate, parse, simplify, substituteVariable, toString

Methods inherited from class java.lang.Object

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

Constructor Details

BuiltinFunctionPredicate

public BuiltinFunctionPredicate(spoon.reflect.declaration.CtElement elem,
 String functionName,
 String... params)
                         throws LJError

Throws:

LJError

Method Details

length

public static BuiltinFunctionPredicate length(String param,
 spoon.reflect.declaration.CtElement elem)
                                       throws LJError

Throws:

LJError

addToIndex

public static BuiltinFunctionPredicate addToIndex(String index,
 String value,
 spoon.reflect.declaration.CtElement elem)
                                           throws LJError

Throws:

LJError