Class PropertyVerifier

java.lang.Object

org.mvel2.compiler.AbstractParser

org.mvel2.optimizers.AbstractOptimizer

org.mvel2.compiler.PropertyVerifier

All Implemented Interfaces:

Serializable, Parser

public class PropertyVerifier
extends AbstractOptimizer

This verifier is used by the compiler to enforce rules such as type strictness. It is, as side-effect, also responsible for extracting type information.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	classLiteral
private static final int	COL
private Class	ctx
private boolean	deepProperty
private static final int	DONE
private boolean	first
private boolean	fqcn
private List<String>	inputs
private static final int	METH
private boolean	methodCall
private static final int	NORM
private Map<String,Type>	paramTypes
private boolean	resolvedExternally
private static final int	WITH

Fields inherited from class AbstractOptimizer

BEAN, collection, currType, nullSafe, staticAccess, tkStart

Fields inherited from class AbstractParser

CLASS_LITERALS, compileMode, cursor, debugSymbols, dStack, end, expr, fields, GET, GET_OR_CREATE, greedy, lastLineStart, lastNode, lastWasComment, lastWasIdentifier, lastWasLineLabel, length, LEVEL_0_PROPERTY_ONLY, LEVEL_1_BASIC_LANG, LEVEL_2_MULTI_STATEMENT, LEVEL_3_ITERATION, LEVEL_4_ASSIGNMENT, LEVEL_5_CONTROL_FLOW, line, literalOnly, LITERALS, OP_CONTINUE, OP_NOT_LITERAL, OP_OVERFLOW, OP_RESET_FRAME, OP_TERMINATE, OPERATORS, pCtx, REMOVE, SET, splitAccumulator, st, start, stk, variableFactory

Constructor Summary

Constructors

Constructor	Description
PropertyVerifier(char[] property, int start, int offset, ParserContext parserContext)
PropertyVerifier(char[] property, ParserContext parserContext)
PropertyVerifier(String property, ParserContext parserContext)
PropertyVerifier(String property, ParserContext parserContext, Class root)

Method Summary

Modifier and Type	Method	Description
Class	analyze()	Analyze the statement and return the known egress type.
private Class	getBeanProperty(Class ctx, String property)	Process bean property
private Class	getCollectionProperty(Class ctx, String property)	Process collection property
Class	getCtx()
List<String>	getInputs()
private Class	getMethod(Class ctx, String name)	Process method
private Class	getReturnType(Class context, Method m)
private Class	getWithProperty(Class ctx)
boolean	isClassLiteral()
boolean	isDeepProperty()
boolean	isFqcn()
boolean	isInput()
boolean	isMethodCall()
boolean	isResolvedExternally()
private void	recordParametricReturnedType(Type parametricReturnType)
private void	recordTypeParmsForProperty(String property)
private Class<?>	returnGenericType(Method m)
void	setCtx(Class ctx)
void	setInputs(List<String> inputs)
private static Class<?>	type2Class(Type type)

Methods inherited from class AbstractOptimizer

capture, findLastUnion, nextSubToken, scanTo, tryStaticAccess, whiteSpaceSkip

Methods inherited from class AbstractParser

addFatalError, addFatalError, arithmeticFunctionReduction, captureIdentifier, captureToEOS, captureToEOSorEOL, captureToEOT, captureToNextTokenJunction, expectEOS, expectNextChar_IW, getCursor, getExpression, handleSubstatement, handleUnion, ifThenElseBlockContinues, incNextNonBlank, isArithmeticOperator, isNextIdentifier, isNextIdentifierOrLiteral, isStatementNotManuallyTerminated, lastNonWhite, loadLanguageFeaturesByLevel, lookAhead, lookAhead, lookBehind, lookToLast, nextNonBlank, nextToken, nextTokenSkipSymbols, reduce, setExpression, setExpression, setLanguageLevel, setupParser, skipWhitespace, tokenContinues, trimLeft, trimRight, trimWhitespace

Methods inherited from class Object

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

Field Details

DONE

private static final int DONE

See Also:

• Constant Field Values

NORM

private static final int NORM

See Also:

• Constant Field Values

METH

private static final int METH

See Also:

• Constant Field Values

COL

private static final int COL

See Also:

• Constant Field Values

WITH

private static final int WITH

See Also:

• Constant Field Values

inputs

private List<String> inputs

first

private boolean first

classLiteral

private boolean classLiteral

resolvedExternally

private boolean resolvedExternally

methodCall

private boolean methodCall

deepProperty

private boolean deepProperty

fqcn

private boolean fqcn

paramTypes

private Map<String,Type> paramTypes

ctx

private Class ctx

Constructor Details

PropertyVerifier

public PropertyVerifier(char[] property,
 ParserContext parserContext)

PropertyVerifier

public PropertyVerifier(char[] property,
 int start,
 int offset,
 ParserContext parserContext)

PropertyVerifier

public PropertyVerifier(String property,
 ParserContext parserContext)

PropertyVerifier

public PropertyVerifier(String property,
 ParserContext parserContext,
 Class root)

Method Details

getInputs

public List<String> getInputs()

setInputs

public void setInputs(List<String> inputs)

analyze

public Class analyze()

Analyze the statement and return the known egress type.

Returns:

known engress type

recordTypeParmsForProperty

private void recordTypeParmsForProperty(String property)

getBeanProperty

private Class getBeanProperty(Class ctx,
 String property)

Process bean property

Parameters:

ctx - - the ingress type

property - - the property component

Returns:

known egress type.

getReturnType

private Class getReturnType(Class context,
 Method m)

recordParametricReturnedType

private void recordParametricReturnedType(Type parametricReturnType)

returnGenericType

private Class<?> returnGenericType(Method m)

getCollectionProperty

private Class getCollectionProperty(Class ctx,
 String property)

Process collection property

Parameters:

ctx - - the ingress type

property - - the property component

Returns:

known egress type

getMethod

private Class getMethod(Class ctx,
 String name)

Process method

Parameters:

ctx - - the ingress type

name - - the property component

Returns:

known egress type.

type2Class

private static Class<?> type2Class(Type type)

getWithProperty

private Class getWithProperty(Class ctx)

isResolvedExternally

public boolean isResolvedExternally()

isClassLiteral

public boolean isClassLiteral()

isDeepProperty

public boolean isDeepProperty()

isInput

public boolean isInput()

isMethodCall

public boolean isMethodCall()

isFqcn

public boolean isFqcn()

getCtx

public Class getCtx()

setCtx

public void setCtx(Class ctx)