ua.gradsoft.javachecker.models
Class JavaTypeArgumentBoundExpressionModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel

All Implemented Interfaces:

JavaExpressionModel

public class JavaTypeArgumentBoundExpressionModel
extends java.lang.Object
implements JavaExpressionModel

Expression, where type arguments are bound. (need for analyzis)

Author:

RSSH

Constructor Summary

JavaTypeArgumentBoundExpressionModel(JavaExpressionModel origin, JavaTypeArgumentBoundStatementModel statement)
Creates a new instance of JavaTypeArgumentBoundExpression

JavaTypeArgumentBoundExpressionModel(JavaExpressionModel origin, JavaTypeArgumentBoundTypeModel enclosedType)
construct expression outside statement

Method Summary

JavaTypeModel	getEnclosedType() enclosing type of statement.
JavaExpressionKind	getKind()
Term	getModelTerm() TypeArgumentBoundExpressionModel(origin,substitution)
JavaStatementModel	getStatementModel() statement model, or null if expression is outside statement.
java.util.List<JavaExpressionModel>	getSubExpressions()
Term	getTerm()
JavaTypeModel	getType()
boolean	isConstantExpression()
boolean	isType() return true, if expression represents type.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTypeArgumentBoundExpressionModel

public JavaTypeArgumentBoundExpressionModel(JavaExpressionModel origin,
                                            JavaTypeArgumentBoundStatementModel statement)

Creates a new instance of JavaTypeArgumentBoundExpression

JavaTypeArgumentBoundExpressionModel

public JavaTypeArgumentBoundExpressionModel(JavaExpressionModel origin,
                                            JavaTypeArgumentBoundTypeModel enclosedType)

construct expression outside statement

Method Detail

getKind

public JavaExpressionKind getKind()

Specified by:

getKind in interface JavaExpressionModel

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Specified by:

getType in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()
               throws TermWareException,
                      EntityNotFoundException

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

Specified by:

isType in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

getStatementModel

public JavaStatementModel getStatementModel()

Description copied from interface: JavaExpressionModel

statement model, or null if expression is outside statement.

Specified by:

getStatementModel in interface JavaExpressionModel

getEnclosedType

public JavaTypeModel getEnclosedType()

Description copied from interface: JavaExpressionModel

enclosing type of statement.

Specified by:

getEnclosedType in interface JavaExpressionModel

getSubExpressions

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

Specified by:

getSubExpressions in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

TypeArgumentBoundExpressionModel(origin,substitution)

Specified by:

getModelTerm in interface JavaExpressionModel

Returns:

model term

Throws:

TermWareException

EntityNotFoundException

getTerm

public Term getTerm()
             throws TermWareException,
                    EntityNotFoundException

Specified by:

getTerm in interface JavaExpressionModel

Returns:

origin_.getTerm

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Specified by:

isConstantExpression in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException