Package ua.gradsoft.javachecker.models.expressions

Interface Summary
JavaIdentifierExpressionModel Interface for expression, which consists from identifiers.
JavaObjectConstantExpressionModel Expression for object constant.
 

Class Summary
JavaClassObjectConstantExpressionModel 'Expression' which is really a constant, situated in class
JavaTermAdditiveExpressionModel AdditiveExpression
JavaTermAllocationExpressionModel Model of AllocationExpression
JavaTermAndExpressionModel AndExpression
JavaTermAnnotationExpressionModel Model for annotation, which is part of other annotation.
JavaTermAnnotationMemberValueArrayInitializerExpressionModel MemberValueArryaInitializer inside annotation,
JavaTermArrayIndexExpressionModel  
JavaTermArrayInitializerExpressionModel Array initialize.
JavaTermAssigmentExpressionModel Model of assigment expression
JavaTermBooleanLiteralExpressionModel BooleanLiteral
JavaTermCastExpressionModel CastExpression
JavaTermCharacterLiteralExpressionModel CharacterLiteral
JavaTermClassLiteralExpressionModel ClassLiteral I.
JavaTermConditionalAndExpressionModel ConditionalAndExpression
JavaTermConditionalExpressionModel ConditionelExpression
JavaTermConditionalOrExpressionModel Model for ConditionalOr
JavaTermEqualityExpressionModel EqualityExpression
JavaTermExclusiveOrExpressionModel ExclusiveOrExpression
JavaTermFieldExpressionModel Field($x,$y)
JavaTermFloatingPointLiteralExpressionModel Model for floating point literal expression
JavaTermFunctionCallExpressionModel FunctionCall
JavaTermIdentifierExpressionModel Expression emodel for identifier.
JavaTermInclusiveOrExpressionModel InclusiveOrExpression
JavaTermInnerAllocationExpressionModel Allocation of inner class.
JavaTermInstanceOfExpressionModel Expression for InstanceOf
JavaTermIntegerLiteralExpressionModel IntegerLiteral
JavaTermMethodCallExpressionModel Model for method call
JavaTermMultiplicativeExpressionModel MultiplicativeExpression
JavaTermNameExpressionModel Name(IdentifierList) reduced to one of: Variable: Name([$x]) -> Variable($x) Field Name([$x:$y]) [ isMemberVariable($x) -> Field($x,RestField($y)) ] where Field($x,RestField([$y:$z])) -> Field(Field($x,$y),RestField($z)) Field($x,RestField([])) -> $x TypeField Name([$x:$y]) [ isType($x) ] -> TypeField($x,RestTypeField($y)) TypeField($x,RestTypeField([$y:$z])) [ isNameOdNestedClass($y,$x) ] -> TypeField(Name(cons($x,$y)),RestTypeField($z)) | [ isNameOfStaticVariable($y,$x) ] -> Field(StaticField($x,$y),RestField($z)) |-> error.
JavaTermNestedTypeExpressionModel Type, which is nested in another type.
JavaTermNullLiteralExpressionModel NullLiteral
JavaTermParentizedExpressionModel  
JavaTermPostfixExpressionModel PostfixExpression
JavaTermPredecrementExpressionModel PredecrementExpression
JavaTermPreincrementExpressionModel PreincrementExpression
JavaTermRelationalExpressionModel RelationalExpression
JavaTermShiftExpressionModel ShiftExpression
JavaTermSpecializedMethodCallExpressionModel Model for SpecializedMethodCall (i.
JavaTermStaticFieldExpressionModel Model, which represent static field of some class.
JavaTermStringLiteralExpressionModel StringLiteral
JavaTermSuperExpressionModel Super(x) = x.super
JavaTermSuperPrefixExpressionModel SuperExpression
JavaTermSwitchConstantExpressionModel Model for constant expression in switch
JavaTermThisExpressionModel ThisExpression (i.e.
JavaTermThisPrefixExpressionModel ExpressionModel, which implements 'this' expression prefix
JavaTermTypeExpressionModel Expression, which means type
JavaTermTypeNameExpressionModel Expression for name.
JavaTermUnaryExpressionModel UnaryExpression
 

Enum Summary
JavaAdditiveOperatorKind Kind of AdditiveOperator
JavaAssigmentOperatorKind Kind of Java assigment operator
JavaEqualityOperatorKind Enumeration of all equality operators.
JavaMultiplicativeOperatorKind Kind of multiplicative operator
JavaPostfixOperatorKind Postfix operator: INCREMENT or DECREMENT
JavaRelationOperatorKind Kind of relation operator
JavaShiftOperatorKind ShiftExpressionKind
JavaUnaryOperatorKind Kind of unary operator