ua.gradsoft.javachecker.models
Class JavaTypeArgumentsHelper

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

public class JavaTypeArgumentsHelper
extends java.lang.Object

Helper for operations with type arguments.

Constructor Summary

JavaTypeArgumentsHelper()

Method Summary

static java.util.ArrayList<JavaTypeModel>

createResolvedTypeArguments(Term typeArguments, JavaUnitModel unitModel, JavaPackageModel packageModel, JavaTypeModel where, JavaStatementModel statement, java.util.List<JavaTypeVariableAbstractModel> typeVariables, java.util.List<JavaTypeVariableAbstractModel> originTypeParameters, JavaTypeArgumentsSubstitution s)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTypeArgumentsHelper

public JavaTypeArgumentsHelper()

Method Detail

createResolvedTypeArguments

public static java.util.ArrayList<JavaTypeModel> createResolvedTypeArguments(Term typeArguments,
                                                                             JavaUnitModel unitModel,
                                                                             JavaPackageModel packageModel,
                                                                             JavaTypeModel where,
                                                                             JavaStatementModel statement,
                                                                             java.util.List<JavaTypeVariableAbstractModel> typeVariables,
                                                                             java.util.List<JavaTypeVariableAbstractModel> originTypeParameters,
                                                                             JavaTypeArgumentsSubstitution s)
                                                                      throws TermWareException,
                                                                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException