public class KeYRecoderMapping
extends java.lang.Object
Constructor and Description |
---|
KeYRecoderMapping() |
Modifier and Type | Method and Description |
---|---|
KeYRecoderMapping |
copy() |
java.util.Set<java.lang.Object> |
elemsKeY() |
java.util.Set<java.lang.Object> |
elemsRec() |
KeYJavaType |
getSuperArrayType() |
boolean |
mapped(java.lang.Object rec) |
boolean |
parsedSpecial()
As long as we do not support lemmata we need the source code of
some 'java.lang' classes.
|
void |
parsedSpecial(boolean b)
As long as we do not support lemmata we need the source code of
some 'java.lang' classes.
|
void |
put(java.lang.Object rec,
java.lang.Object key) |
void |
setSuperArrayType(KeYJavaType superArrayType) |
int |
size() |
ModelElement |
toKeY(ModelElement pe)
returns a matching ModelElement (KeY) to a given recoder.ModelElement
|
ProgramElement |
toKeY(ProgramElement pe)
returns a matching ProgramElement (KeY) to a given
ProgramElement (Recoder)
|
ModelElement |
toRecoder(ModelElement pe)
returns the Recoder-equivalent to a given ModelElement (KeY).
|
ProgramElement |
toRecoder(ProgramElement pe)
returns the Recoder-equivalent to a given ProgramElement (KeY).
|
public ProgramElement toKeY(ProgramElement pe)
pe
- a recoder.java.ProgramElementpublic ModelElement toKeY(ModelElement pe)
pe
- a recoder.ModelElementpublic ProgramElement toRecoder(ProgramElement pe)
pe
- a JavaProgramElementpublic ModelElement toRecoder(ModelElement pe)
pe
- a ModelElementpublic void put(java.lang.Object rec, java.lang.Object key)
public boolean mapped(java.lang.Object rec)
public java.util.Set<java.lang.Object> elemsKeY()
public java.util.Set<java.lang.Object> elemsRec()
public void setSuperArrayType(KeYJavaType superArrayType)
public KeYJavaType getSuperArrayType()
public KeYRecoderMapping copy()
public boolean parsedSpecial()
Recoder2KeY
. To avoid multiple readings
this method indicates whether the special have been parsed in or
not.public int size()
public void parsedSpecial(boolean b)
Recoder2KeY
. To avoid multiple readings
this method sets a flag whether the special have been parsed in or
notb
- boolean indicating if the special classes have been
parsed inCopyright © 2003-2019 The KeY-Project.