public class Recoder2KeYConverter
extends java.lang.Object
callConvert(recoder.java.ProgramElement)
that does the job in general. Several special cases must be treated
separately.
This code used to be part of Recoder2KeY
and has been 'out-sourced'.Modifier and Type | Field and Description |
---|---|
protected java.util.HashMap<?,?> |
locClass2finalVar
locClass2finalVar stores the final variables that need to be passed
to the constructor of an anonymous class.
|
Constructor and Description |
---|
Recoder2KeYConverter(Recoder2KeY rec2key,
Services services,
NamespaceSet nss) |
protected java.util.HashMap<?,?> locClass2finalVar
public Recoder2KeYConverter(Recoder2KeY rec2key, Services services, NamespaceSet nss)
public ProgramElement process(ProgramElement pe)
public IProgramMethod processDefaultConstructor(DefaultConstructor df)
public CompilationUnit processCompilationUnit(CompilationUnit cu, DataLocation context)
protected KeYRecoderMapping getMapping()
protected java.lang.Object callConvert(ProgramElement pe) throws ConvertException
pe
- the recoder.java.JavaProgramElement to be converted, not null.ConvertException
- if the conversion failsprotected ExtList collectChildren(NonTerminalProgramElement pe)
pe
- the NonTerminalProgramElement that needs its children before
being convertedpublic ProgramElement convert(JavaProgramElement pe)
pe
- the recoder.java.ProgramElement to be convertedprotected void insertToMap(ModelElement r, ModelElement k)
r
- the recoder element (not null)k
- the key element (not null)public Instanceof convert(Instanceof rio)
public NewArray convert(NewArray newArr)
public IntLiteral convert(IntLiteral intLit)
public BooleanLiteral convert(BooleanLiteral booleanLit)
public EmptySetLiteral convert(EmptySetLiteral e)
public AllObjects convert(AllObjects e)
public EmptySeqLiteral convert(EmptySeqLiteral e)
public SeqSingleton convert(SeqSingleton e)
public SeqIndexOf convert(SeqIndexOf e)
public SeqReverse convert(SeqReverse e)
public EmptyMapLiteral convert(EmptyMapLiteral e)
public DLEmbeddedExpression convert(EscapeExpression e)
public StringLiteral convert(StringLiteral stringLit)
public DoubleLiteral convert(DoubleLiteral doubleLit)
public FloatLiteral convert(FloatLiteral floatLit)
public LongLiteral convert(LongLiteral longLit)
longLit
- the LongLiteral from recoderpublic CharLiteral convert(CharLiteral charLit)
charLit
- the CharLiteral from recoderpublic NullLiteral convert(NullLiteral nullLit)
public ProgramElementName convert(Identifier id)
public ProgramElementName convert(ImplicitIdentifier id)
public MethodFrame convert(MethodCallStatement rmcs)
public MethodBodyStatement convert(MethodBodyStatement rmbs)
public LoopScopeBlock convert(LoopScopeBlock lsb)
public MergePointStatement convert(MergePointStatement mps)
public CatchAllStatement convert(CatchAllStatement cas)
public ClassDeclaration convert(ClassDeclaration td)
public EnumClassDeclaration convert(EnumClassDeclaration td)
public InterfaceDeclaration convert(InterfaceDeclaration td)
public ParameterDeclaration convert(ParameterDeclaration pd)
public FieldDeclaration convert(FieldDeclaration fd)
public IProgramMethod convert(ConstructorDeclaration cd)
public IProgramMethod convert(DefaultConstructor dc)
public SuperConstructorReference convert(SuperConstructorReference scr)
public ThisReference convert(ThisReference tr)
public SuperReference convert(SuperReference sr)
public VariableSpecification convert(VariableSpecification recoderVarSpec)
public IProgramMethod convert(MethodDeclaration md)
public FieldSpecification convert(FieldSpecification recoderVarSpec)
public TypeReference convert(TypeReference tr)
public ProgramElement convert(UncollatedReferenceQualifier urq)
public ProgramVariable convert(VariableReference vr)
vr
- the recoder variable reference.public FieldReference convert(ArrayLengthReference alr)
public Expression convert(FieldReference fr)
fr
- the recoder field reference.public MethodReference convert(MethodReference mr)
mr
- the recoder method reference.public LabeledStatement convert(LabeledStatement l)
public For convert(For f)
f
- the For of recoderpublic AnnotationUseSpecification convert(AnnotationUseSpecification aus)
public EnhancedFor convert(EnhancedFor f)
f
- the EnhancedFor of recoderpublic While convert(While w)
w
- the While of recoderpublic Do convert(Do d)
d
- the Do of recoderpublic Statement convertBody(LoopStatement ls)
public Guard convertGuard(LoopStatement ls)
public ForUpdates convertUpdates(LoopStatement ls)
public LoopInit convertLoopInitializers(LoopStatement ls)
public ArrayReference convert(ArrayReference ar)
public Case convert(Case c)
public New convert(New n)
public StatementBlock convert(StatementBlock block)
block
- the recoder.java.StatementBlock to be convertedpublic PassiveExpression convert(PassiveExpression arg)
public ParenthesizedExpression convert(ParenthesizedExpression arg)
public CopyAssignment convert(CopyAssignment arg)
public TransactionStatement convert(TransactionStatement tr)
public PostIncrement convert(PostIncrement arg)
public PreIncrement convert(PreIncrement arg)
public PostDecrement convert(PostDecrement arg)
public PreDecrement convert(PreDecrement arg)
public PlusAssignment convert(PlusAssignment arg)
public MinusAssignment convert(MinusAssignment arg)
public TimesAssignment convert(TimesAssignment arg)
public DivideAssignment convert(DivideAssignment arg)
public LessOrEquals convert(LessOrEquals arg)
public GreaterThan convert(GreaterThan arg)
public GreaterOrEquals convert(GreaterOrEquals arg)
public LogicalNot convert(LogicalNot arg)
public LogicalAnd convert(LogicalAnd arg)
public ArrayInitializer convert(ArrayInitializer arg)
public SynchronizedBlock convert(SynchronizedBlock arg)
public CcatchReturnParameterDeclaration convert(CcatchReturnParameterDeclaration arg)
public CcatchBreakParameterDeclaration convert(CcatchBreakParameterDeclaration arg)
public CcatchBreakWildcardParameterDeclaration convert(CcatchBreakWildcardParameterDeclaration arg)
public CcatchBreakLabelParameterDeclaration convert(CcatchBreakLabelParameterDeclaration arg)
public CcatchContinueParameterDeclaration convert(CcatchContinueParameterDeclaration arg)
public CcatchContinueWildcardParameterDeclaration convert(CcatchContinueWildcardParameterDeclaration arg)
public CcatchContinueLabelParameterDeclaration convert(CcatchContinueLabelParameterDeclaration arg)
public CcatchReturnValParameterDeclaration convert(CcatchReturnValParameterDeclaration arg)
public CompilationUnit convert(CompilationUnit arg)
public ClassInitializer convert(ClassInitializer arg)
public PackageSpecification convert(PackageSpecification arg)
public Implements convert(Implements arg)
public LocalVariableDeclaration convert(LocalVariableDeclaration arg)
public ExecutionContext convert(ExecutionContext arg)
public ThisConstructorReference convert(ThisConstructorReference arg)
public BinaryAndAssignment convert(BinaryAndAssignment arg)
public BinaryOrAssignment convert(BinaryOrAssignment arg)
public BinaryXOrAssignment convert(BinaryXOrAssignment arg)
public ShiftRight convert(ShiftRight arg)
public UnsignedShiftRight convert(UnsignedShiftRight arg)
public ShiftLeftAssignment convert(ShiftLeftAssignment arg)
public ShiftRightAssignment convert(ShiftRightAssignment arg)
public UnsignedShiftRightAssignment convert(UnsignedShiftRightAssignment arg)
public JavaProgramElement convert(Negative arg)
arg
- the recoder Negativepublic ModuloAssignment convert(ModuloAssignment arg)
public Conditional convert(Conditional arg)
public EmptyStatement convert(EmptyStatement m)
public PackageReference convert(PackageReference m)
Copyright © 2003-2019 The KeY-Project.