public class KeYRecoderMapping
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.HashMap<java.lang.Object,java.lang.Object> |
map
maps a recoder programelement (or something similar, e.g.
|
private boolean |
parsedSpecial
have special classes been parsed in
|
private java.util.HashMap<java.lang.Object,java.lang.Object> |
revMap
maps a KeY programelement to the Recoder-equivalent
|
private KeYJavaType |
superArrayType
a pseudo super class for all arrays used to declare length
|
Constructor and Description |
---|
KeYRecoderMapping() |
KeYRecoderMapping(java.util.HashMap<java.lang.Object,java.lang.Object> map,
java.util.HashMap<java.lang.Object,java.lang.Object> revMap,
KeYJavaType superArrayType,
boolean parsedSpecial)
creates a KeYRecoderMapping object.
|
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).
|
private boolean parsedSpecial
private java.util.HashMap<java.lang.Object,java.lang.Object> map
private java.util.HashMap<java.lang.Object,java.lang.Object> revMap
private KeYJavaType superArrayType
public KeYRecoderMapping()
KeYRecoderMapping(java.util.HashMap<java.lang.Object,java.lang.Object> map, java.util.HashMap<java.lang.Object,java.lang.Object> revMap, KeYJavaType superArrayType, boolean parsedSpecial)
map
- a HashMap mapping ProgramElements in Recoder to
ProgramElements in KeYrevMap
- the reverse map (KeY->Recoder)parsedSpecial
- boolean indicating if the special classes have been parsed inpublic 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 in