de.upb.hni.vmagic.type
Class ResolvedSubtypeIndication

java.lang.Object
  extended by de.upb.hni.vmagic.type.ResolvedSubtypeIndication
All Implemented Interfaces:
SubtypeIndication

public class ResolvedSubtypeIndication
extends java.lang.Object
implements SubtypeIndication

Subtype indication with a resolution function.


Constructor Summary
ResolvedSubtypeIndication(java.lang.String resolutionFunction, SubtypeIndication baseType)
          Creates a resolved subtype indication.
 
Method Summary
 SubtypeIndication getBaseType()
          Returns the base type.
 java.lang.String getResolutionFunction()
          Returns the resolution function.
 void setBaseType(SubtypeIndication baseType)
          Sets the base type.
 void setResolutionFunction(java.lang.String resolutionFunction)
          Sets the resolution function.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ResolvedSubtypeIndication

public ResolvedSubtypeIndication(java.lang.String resolutionFunction,
                                 SubtypeIndication baseType)
Creates a resolved subtype indication.

Parameters:
resolutionFunction - the resolution function
baseType - the base type
Method Detail

getResolutionFunction

public java.lang.String getResolutionFunction()
Returns the resolution function.

Returns:
the function

setResolutionFunction

public void setResolutionFunction(java.lang.String resolutionFunction)
Sets the resolution function.

Parameters:
resolutionFunction - the function

getBaseType

public SubtypeIndication getBaseType()
Returns the base type.

Returns:
the base type

setBaseType

public void setBaseType(SubtypeIndication baseType)
Sets the base type.

Parameters:
baseType - the base type