ua.gradsoft.javachecker.models
Class JavaTypeArgumentBoundTopLevelBlockModel

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

All Implemented Interfaces:

JavaTopLevelBlockModel

public class JavaTypeArgumentBoundTopLevelBlockModel
extends java.lang.Object
implements JavaTopLevelBlockModel

Model for block with type-variables argument bound

Author:

Ruslan Shevchenko

Constructor Summary

JavaTypeArgumentBoundTopLevelBlockModel(JavaTypeArgumentBoundTopLevelBlockOwnerModel owner, JavaTopLevelBlockModel origin, JavaTypeArgumentsSubstitution substitution)

Method Summary

Term	getModelTerm() TypeArgumentBoundTopLevelBlock(origin,ctx)
JavaTopLevelBlockModel	getOrigin()
JavaTypeArgumentBoundTopLevelBlockOwnerModel	getOwnerModel()
java.util.List<JavaStatementModel>	getStatements() return list of statements in block.
JavaTypeArgumentsSubstitution	getSubstitution()

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTypeArgumentBoundTopLevelBlockModel

public JavaTypeArgumentBoundTopLevelBlockModel(JavaTypeArgumentBoundTopLevelBlockOwnerModel owner,
                                               JavaTopLevelBlockModel origin,
                                               JavaTypeArgumentsSubstitution substitution)

Method Detail

getOwnerModel

public JavaTypeArgumentBoundTopLevelBlockOwnerModel getOwnerModel()

Specified by:

getOwnerModel in interface JavaTopLevelBlockModel

getStatements

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

return list of statements in block.

Specified by:

getStatements in interface JavaTopLevelBlockModel

getOrigin

public JavaTopLevelBlockModel getOrigin()

getSubstitution

public JavaTypeArgumentsSubstitution getSubstitution()

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

TypeArgumentBoundTopLevelBlock(origin,ctx)

Specified by:

getModelTerm in interface JavaTopLevelBlockModel

Throws:

TermWareException

EntityNotFoundException