public class GenericResolutionTransformation extends TwoPassTransformation
toString(Object)
does a lot of it.Modifier and Type | Field and Description |
---|---|
static boolean |
DEBUG_OUTPUT |
EQUIVALENCE, IDENTITY, NO_PROBLEM
Constructor and Description |
---|
GenericResolutionTransformation() |
GenericResolutionTransformation(CrossReferenceServiceConfiguration sc) |
Modifier and Type | Method and Description |
---|---|
static void |
debugOut(java.lang.String msg,
java.lang.Object... arg)
if the global debug flag
DEBUG_OUTPUT is set to true print out a
message. |
protected Type |
targetType(Type t)
get the type of the reference that it will have in a generic-free
environment.
|
static java.lang.String |
toString(java.lang.Object object)
convert an object to a String.
|
analyze, execute, transform
attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsBody, attachAsCondition, attachAsGuard, attachAsInitializer, attachAsLabel, attachAsMessage, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsUpdate, detach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsBody, doAttachAsCondition, doAttachAsGuard, doAttachAsInitializer, doAttachAsLabel, doAttachAsMessage, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsUpdate, doDetach, doReplace, getChangeHistory, getCrossReferenceSourceInfo, getNameInfo, getProblemReport, getProgramFactory, getServiceConfiguration, getSourceFileRepository, getSourceInfo, isVisible, replace, rollback, setProblemReport, setServiceConfiguration, toString
public GenericResolutionTransformation()
public GenericResolutionTransformation(CrossReferenceServiceConfiguration sc)
protected Type targetType(Type t)
V
for some
(unbound) type variable it will then have java.lang.Object
etc.t
- the type to be resolvedpublic static void debugOut(java.lang.String msg, java.lang.Object... arg)
DEBUG_OUTPUT
is set to true print out a
message.
First the message-head is printed followed by a ':', followed by a
;-separated list of the arguments. Each argument is converted to a string
using the toString(Object)
.msg
- the message's headarg
- 0 or more objects that will be expanded to a ;-separated list
after the messagepublic static java.lang.String toString(java.lang.Object object)
Object.toString()
is lame, so that the following
classes are caught here:
MethodDeclaration
NamedModelElement
Collection
- which handle each element with toString Object.toString()
.object
- the object to be transformed, may be nullCopyright © 2003-2019 The KeY-Project.