| java.lang.Object
 de.uka.ilkd.key.java.KeYRecoderMapping
| KeYRecoderMapping | | public class KeYRecoderMapping (Code) | | |
| KeYRecoderMapping | | public KeYRecoderMapping()(Code) | | |
| KeYRecoderMapping | | public KeYRecoderMapping(HashMap map, HashMap revMap, KeYJavaType superArrayType, boolean parsedSpecial)(Code) | | creates a KeYRecoderMapping object
Parameters:
map - a HashMap mapping ProgramElements in Recoder toProgramElements in KeY
Parameters:
revMap - the reverse map (KeY->Recoder)
Parameters:
parsedSpecial - boolean indicating if the special classes have been parsed in |
| parsedSpecial | | public boolean parsedSpecial()(Code) | | As long as we do not support lemmata we need the source code of
some 'java.lang' classes. These are parsed in using method
parseSpecial of
Recoder2KeY . To avoid multiple readings
this method indicates whether the special have been parsed in or
not.
true if special classes have been parsed in |
| parsedSpecial | | public void parsedSpecial(boolean b)(Code) | | As long as we do not support lemmata we need the source code of
some 'java.lang' classes. These are parsed in using method
parseSpecial of
Recoder2KeY . To avoid multiple readings
this method sets a flag whether the special have been parsed in or
not
Parameters:
b - boolean indicating if the special classes have beenparsed in |
| toKeY | | public ProgramElement toKeY(recoder.java.ProgramElement pe)(Code) | | returns a matching ProgramElement (KeY) to a given
ProgramElement (Recoder)
Parameters:
pe - a recoder.java.ProgramElement |
| toKeY | | public ModelElement toKeY(recoder.ModelElement pe)(Code) | | returns a matching ModelElement (KeY) to a given recoder.ModelElement
Parameters:
pe - a recoder.ModelElement |
| toRecoder | | public recoder.java.ProgramElement toRecoder(ProgramElement pe)(Code) | | returns the Recoder-equivalent to a given ProgramElement (KeY).
If there's no RecodeR equivalent to program element pe, an
assertion failure "Program Element not known" is emitted.
Parameters:
pe - a JavaProgramElement |
| toRecoder | | public recoder.ModelElement toRecoder(ModelElement pe)(Code) | | returns the Recoder-equivalent to a given ModelElement (KeY).
If there's no Recoder-equivalent to the ModelElement pe a
debug message "Model Element not known" is printed.
Parameters:
pe - a ModelElement |
|
|