ua.gradsoft.javachecker.models
Class JavaTopLevelBlockOwnerModelHelper

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

public class JavaTopLevelBlockOwnerModelHelper
extends java.lang.Object

Helper class for TopLevelBlockOwner

Author:

rssh

Constructor Summary

JavaTopLevelBlockOwnerModelHelper()

Method Summary

static java.util.List<JavaFormalParameterModel>	buildFormalParametersList(Term formalParametersList, JavaTopLevelBlockOwnerModel executable)
static java.util.Map<java.lang.String,JavaFormalParameterModel>	buildFormalParametersMap(Term formalParametersList, JavaTopLevelBlockOwnerModel executable)
static java.util.List<JavaTypeModel>	buildThrowsList(Term throwsNameList, JavaTopLevelBlockOwnerModel executable)
static java.util.List<JavaTypeVariableAbstractModel>	buildTypeParameters(Term tpt, JavaTypeModel typeModel) build list of type parameters from term.
static java.lang.String	getStringSignature(JavaTopLevelBlockOwnerModel executable)
static void	printErasedFormalParametersSignature(java.io.PrintWriter out, JavaTopLevelBlockOwnerModel executable) print list of erased formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing.
static void	printFormalParametersSignature(java.io.PrintWriter out, JavaTopLevelBlockOwnerModel executable) print list of formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing.
static void	printFormalParametersSignature(java.io.PrintWriter out, JavaTopLevelBlockOwnerModel executable, boolean erased)
static void	printFormalParametersSignature(java.io.PrintWriter out, Term formalParametersList, java.util.List<JavaTypeVariableAbstractModel> typeParameters, JavaTypeModel where)
static void	printTypeParametersSignature(java.io.PrintWriter out, JavaTopLevelBlockOwnerModel executable) print list of type parameters in agle brackets throught comma without whitescapes if one exists, otherwise - do nothing.
static void	printTypeParametersSignature(java.io.PrintWriter out, java.util.List<JavaTypeVariableAbstractModel> tvs)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTopLevelBlockOwnerModelHelper

public JavaTopLevelBlockOwnerModelHelper()

Method Detail

getStringSignature

public static java.lang.String getStringSignature(JavaTopLevelBlockOwnerModel executable)

printTypeParametersSignature

public static void printTypeParametersSignature(java.io.PrintWriter out,
                                                JavaTopLevelBlockOwnerModel executable)

print list of type parameters in agle brackets throught comma without whitescapes if one exists, otherwise - do nothing. i. e.: Note, that this method used not obly for cosmetic, but for identifying constructors and methods within classes, in such cases. So, modify it with care. When you changing this class, you must change also lass, which generate unique description of constructor or model from term.

printTypeParametersSignature

public static void printTypeParametersSignature(java.io.PrintWriter out,
                                                java.util.List<JavaTypeVariableAbstractModel> tvs)

printFormalParametersSignature

public static void printFormalParametersSignature(java.io.PrintWriter out,
                                                  JavaTopLevelBlockOwnerModel executable)

print list of formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing. i. e.: () (int,java.util.List) Note, that this method used not only for cosmetic, but for identifying constructors and methods within classes, in such cases. So, modify it with care. When you changing this class, you must change also lass, which generate unique description of constructor or model from term.

printErasedFormalParametersSignature

public static void printErasedFormalParametersSignature(java.io.PrintWriter out,
                                                        JavaTopLevelBlockOwnerModel executable)

print list of erased formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing. i. e.: () (int,java.util.List) Note, that this method used not only for cosmetic, but for identifying constructors and methods within classes, in such cases. So, modify it with care. When you changing this class, you must change also lass, which generate unique description of constructor or model from term.

printFormalParametersSignature

public static void printFormalParametersSignature(java.io.PrintWriter out,
                                                  JavaTopLevelBlockOwnerModel executable,
                                                  boolean erased)

printFormalParametersSignature

public static void printFormalParametersSignature(java.io.PrintWriter out,
                                                  Term formalParametersList,
                                                  java.util.List<JavaTypeVariableAbstractModel> typeParameters,
                                                  JavaTypeModel where)
                                           throws TermWareException,
                                                  EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

buildFormalParametersList

public static java.util.List<JavaFormalParameterModel> buildFormalParametersList(Term formalParametersList,
                                                                                 JavaTopLevelBlockOwnerModel executable)
                                                                          throws TermWareException,
                                                                                 EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

buildFormalParametersMap

public static java.util.Map<java.lang.String,JavaFormalParameterModel> buildFormalParametersMap(Term formalParametersList,
                                                                                                JavaTopLevelBlockOwnerModel executable)
                                                                                         throws TermWareException,
                                                                                                EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

buildTypeParameters

public static java.util.List<JavaTypeVariableAbstractModel> buildTypeParameters(Term tpt,
                                                                                JavaTypeModel typeModel)
                                                                         throws TermWareException

build list of type parameters from term. Term must be NIL or TypeParameters

Throws:

TermWareException

buildThrowsList

public static java.util.List<JavaTypeModel> buildThrowsList(Term throwsNameList,
                                                            JavaTopLevelBlockOwnerModel executable)
                                                     throws TermWareException,
                                                            EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException