ua.gradsoft.javachecker.models
Interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

All Superinterfaces:

AttributedEntity, JavaTopLevelBlockOwnerModel

All Known Implementing Classes:

JavaClassArgumentBoundMethodModel, JavaTypeArgumentBoundConstructorModel, JavaTypeArgumentBoundInitializerModel, JavaTypeArgumentBoundMethodModel

public interface JavaTypeArgumentBoundTopLevelBlockOwnerModel
extends JavaTopLevelBlockOwnerModel

Interface for top level block owner, bound with type variables

Author:

Ruslan Shevchenko

Method Summary

JavaTopLevelBlockOwnerModel	getOrigin()
JavaTypeArgumentsSubstitution	getSubstitution()
JavaTypeArgumentBoundTypeModel	getTypeArgumentBoundTypeModel()

Methods inherited from interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel

getAnnotationsMap, getFormalParametersList, getFormalParametersMap, getModelTerm, getName, getThrowsList, getTopLevelBlockModel, getTypeModel, getTypeParameters, isSupportBlockModel, printErasedSignature, printSignature

Methods inherited from interface ua.gradsoft.javachecker.attributes.AttributedEntity

getAttribute, getChildAttributes, setAttribute

Method Detail

getOrigin

JavaTopLevelBlockOwnerModel getOrigin()

getSubstitution

JavaTypeArgumentsSubstitution getSubstitution()
                                              throws TermWareException

Throws:

TermWareException

getTypeArgumentBoundTypeModel

JavaTypeArgumentBoundTypeModel getTypeArgumentBoundTypeModel()
                                                             throws TermWareException

Throws:

TermWareException