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(ErrorEmitter ee, spoon.reflect.declaration.CtElement elem, String functionName, String... params)

Method Summary

Modifier and Type	Method	Description
static BuiltinFunctionPredicate	builtin_addToIndex(String array, String index, String value, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
static BuiltinFunctionPredicate	builtin_length(String param, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)

Methods inherited from class liquidjava.rj_language.Predicate

changeAliasToRefinement, changeOldMentions, changeStatesToRefinements, clone, createConjunction, createDisjunction, createEquals, createInvocation, createITE, createLit, createOperation, createVar, getExpression, getOldVariableNames, 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(ErrorEmitter ee,
 spoon.reflect.declaration.CtElement elem,
 String functionName,
 String... params)
                         throws ParsingException

Throws:

ParsingException

Method Details

builtin_length

public static BuiltinFunctionPredicate builtin_length(String param,
 spoon.reflect.declaration.CtElement elem,
 ErrorEmitter ee)
                                               throws ParsingException

Throws:

ParsingException

builtin_addToIndex

public static BuiltinFunctionPredicate builtin_addToIndex(String array,
 String index,
 String value,
 spoon.reflect.declaration.CtElement elem,
 ErrorEmitter ee)
                                                   throws ParsingException

Throws:

ParsingException