ua.gradsoft.javachecker.models
Class JavaTypeArgumentsSubstitution

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

public class JavaTypeArgumentsSubstitution
extends java.lang.Object

Substitution of type variables.

Author:

Ruslan Shevchenko

Constructor Summary

JavaTypeArgumentsSubstitution()

JavaTypeArgumentsSubstitution(java.util.List<JavaTypeVariableAbstractModel> typeVariables, java.util.List<JavaTypeModel> typeValues)

Method Summary

JavaTypeModel	get(JavaTypeVariableAbstractModel x)
void	print(java.io.PrintStream out)
void	print(java.io.PrintWriter out)
void	put(JavaTypeVariableAbstractModel v, JavaTypeModel t)
void	putAll(JavaTypeArgumentsSubstitution otherSubstitution)
JavaTypeModel	substitute(JavaTypeModel x)
JavaTypeModel	substitute(JavaTypeModel x, Holder<java.lang.Boolean> changed)
java.util.List<JavaTypeModel>	substitute(java.util.List<? extends JavaTypeModel> l)
java.lang.String	toString() represet as string.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTypeArgumentsSubstitution

public JavaTypeArgumentsSubstitution()

JavaTypeArgumentsSubstitution

public JavaTypeArgumentsSubstitution(java.util.List<JavaTypeVariableAbstractModel> typeVariables,
                                     java.util.List<JavaTypeModel> typeValues)
                              throws TermWareException

Throws:

TermWareException

Method Detail

substitute

public JavaTypeModel substitute(JavaTypeModel x)
                         throws TermWareException

Throws:

TermWareException

substitute

public JavaTypeModel substitute(JavaTypeModel x,
                                Holder<java.lang.Boolean> changed)
                         throws TermWareException

Throws:

TermWareException

substitute

public java.util.List<JavaTypeModel> substitute(java.util.List<? extends JavaTypeModel> l)
                                         throws TermWareException

Throws:

TermWareException

get

public JavaTypeModel get(JavaTypeVariableAbstractModel x)

Returns:

substitition for x or null if one is not found

put

public void put(JavaTypeVariableAbstractModel v,
                JavaTypeModel t)

putAll

public void putAll(JavaTypeArgumentsSubstitution otherSubstitution)

print

public void print(java.io.PrintWriter out)

print

public void print(java.io.PrintStream out)

toString

public java.lang.String toString()

represet as string.

Overrides:

toString in class java.lang.Object