ua.gradsoft.javachecker.models
Class JavaPlaceContext

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

public class JavaPlaceContext
extends java.lang.Object

This class keep context of program place. (i. e. what is block model, and so on) Note, that class is immutable: i. e. we

Author:

Ruslan Shevchenko

Method Summary

JavaExpressionModel	getExpressionModel()
FileAndLine	getFileAndLine()
JavaPackageModel	getPackageModel() get package, inside which we situated.
JavaStatementModel	getStatementModel() return statement model, in which we situated or null if we outside statement
JavaTermStatementModel	getTermStatementModel() return term statement model, in which we situated or null if we outside statement or statement model is not term
JavaTopLevelBlockOwnerModel	getTopLeveBlockOwnerModel() get top-level block, in which we situated or null if one was not defined.
JavaTypeModel	getTypeModel() get type model, inside which we situated.
JavaTypeModel	resolveFullClassName(java.lang.String typeName)
JavaTypeModel	resolveTypeTerm(Term typeTerm)
boolean	sameTypes(JavaTypeModel x, JavaTypeModel y)
boolean	subtypeOrSame(JavaTypeModel x, JavaTypeModel y)

Methods inherited from class java.lang.Object

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

Method Detail

getPackageModel

public JavaPackageModel getPackageModel()

get package, inside which we situated.

getTypeModel

public JavaTypeModel getTypeModel()

get type model, inside which we situated.

getTopLeveBlockOwnerModel

public JavaTopLevelBlockOwnerModel getTopLeveBlockOwnerModel()

get top-level block, in which we situated or null if one was not defined.

getStatementModel

public JavaStatementModel getStatementModel()

return statement model, in which we situated or null if we outside statement

getTermStatementModel

public JavaTermStatementModel getTermStatementModel()

return term statement model, in which we situated or null if we outside statement or statement model is not term

getExpressionModel

public JavaExpressionModel getExpressionModel()

resolveTypeTerm

public JavaTypeModel resolveTypeTerm(Term typeTerm)
                              throws TermWareException,
                                     EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

resolveFullClassName

public JavaTypeModel resolveFullClassName(java.lang.String typeName)
                                   throws TermWareException,
                                          EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

subtypeOrSame

public boolean subtypeOrSame(JavaTypeModel x,
                             JavaTypeModel y)
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

sameTypes

public boolean sameTypes(JavaTypeModel x,
                         JavaTypeModel y)
                  throws TermWareException

Throws:

TermWareException

getFileAndLine

public FileAndLine getFileAndLine()