ua.gradsoft.javachecker.models
Class JavaTermTopLevelBlockModel

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

All Implemented Interfaces:

JavaTopLevelBlockModel

public class JavaTermTopLevelBlockModel
extends java.lang.Object
implements JavaTopLevelBlockModel

Model for java block as term.

Author:

Ruslan Shevchenko

Constructor Summary

JavaTermTopLevelBlockModel(JavaTermTopLevelBlockOwnerModel owner, Term t)
build top level block.

Method Summary

Term	getModelTerm() Block( cons(StatementModel,....) )
JavaTopLevelBlockOwnerModel	getOwnerModel()
JavaTermTopLevelBlockOwnerModel	getOwnerTermModel()
java.util.List<JavaStatementModel>	getStatements() return list of statements in block.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTermTopLevelBlockModel

public JavaTermTopLevelBlockModel(JavaTermTopLevelBlockOwnerModel owner,
                                  Term t)
                           throws TermWareException

build top level block. t must be a list of sequences.

Throws:

TermWareException

Method Detail

getOwnerModel

public JavaTopLevelBlockOwnerModel getOwnerModel()

Specified by:

getOwnerModel in interface JavaTopLevelBlockModel

getOwnerTermModel

public JavaTermTopLevelBlockOwnerModel getOwnerTermModel()

getStatements

public java.util.List<JavaStatementModel> getStatements()

return list of statements in block.

Specified by:

getStatements in interface JavaTopLevelBlockModel

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

Block( cons(StatementModel,....) )

Specified by:

getModelTerm in interface JavaTopLevelBlockModel

Throws:

TermWareException

EntityNotFoundException