ua.gradsoft.javachecker.models.expressions
Class JavaTermNameExpressionModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTermExpressionModel
      ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermNameExpressionModel
extends JavaTermExpressionModel

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. !-> PackageField($x,RestPackageField([$y:$z])) Name([$x:$y]) !-> PackageField($x,$y) PackageField($x,RestPackageField([$y:$z]) [ $z=resolveClassInPackage($y,$x) ] -> TypeField(TypeRef(Name($x,$y),$z),RestTypeField($z)) !-> PackageField(cons($x,$y),RestPackageField($z))

Author:

RSSH

Field Summary

Fields inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

enclosedType_, statement_, t_

Constructor Summary

JavaTermNameExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)
Creates a new instance of JavaTermNameExpressionModel

Method Summary

JavaExpressionKind	getKind()
Term	getModelTerm()
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
boolean	isConstantExpression()
boolean	isType() return true, if expression represents type.

Methods inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

create, create, createPlaceContext, getEnclosedType, getStatementModel, getTerm, getTermStatementModel

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTermNameExpressionModel

public JavaTermNameExpressionModel(Term t,
                                   JavaTermStatementModel st,
                                   JavaTypeModel enclosedType)
                            throws TermWareException

Creates a new instance of JavaTermNameExpressionModel

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

isType

public boolean isType()
               throws TermWareException,
                      EntityNotFoundException

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

Throws:

TermWareException

EntityNotFoundException

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getSubExpressions

public java.util.List<JavaExpressionModel> getSubExpressions()
                                                      throws TermWareException,
                                                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

Returns:

model term of proxy

Throws:

TermWareException

EntityNotFoundException