ua.gradsoft.javachecker.models
Interface JavaStatementModel

All Known Implementing Classes:

JavaTermStatementModel, JavaTypeArgumentBoundStatementModel

public interface JavaStatementModel

Model for Java Statement

Author:

Ruslan Shevchenko

Method Summary

java.util.List<JavaStatementModel>	getChildStatements() get child statements.
java.util.List<JavaExpressionModel>	getExpressions() top-level expressions, defined in this statement.
JavaStatementKind	getKind()
JavaTypeModel	getLocalType() local type, defined in this statements.
java.util.List<JavaLocalVariableModel>	getLocalVariables() get local variables, defined in this statement.
Term	getModelTerm() Model term
JavaStatementModel	getParentStatementModel() get parent statement (if one eists), otherwise - return null.
JavaStatementModel	getPreviousStatementModel() get previous statement.
JavaTopLevelBlockModel	getTopLevelBlockModel() get top level block, in which statement is defined.

Method Detail

getKind

JavaStatementKind getKind()

getTopLevelBlockModel

JavaTopLevelBlockModel getTopLevelBlockModel()

get top level block, in which statement is defined.

getParentStatementModel

JavaStatementModel getParentStatementModel()

get parent statement (if one eists), otherwise - return null.

Returns:

parent statement or null if one does not exists.

getPreviousStatementModel

JavaStatementModel getPreviousStatementModel()

get previous statement.

Returns:

previous statement in the same block (if one exists), oherwise - return null.

getChildStatements

java.util.List<JavaStatementModel> getChildStatements()

get child statements.

getLocalVariables

java.util.List<JavaLocalVariableModel> getLocalVariables()

get local variables, defined in this statement.

getLocalType

JavaTypeModel getLocalType()
                           throws TermWareException

local type, defined in this statements.

Throws:

TermWareException

getExpressions

java.util.List<JavaExpressionModel> getExpressions()

top-level expressions, defined in this statement.

getModelTerm

Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

Model term

Throws:

TermWareException

EntityNotFoundException