de.rwth.i2.attestor.semantics.jimpleSemantics

Class JimpleParser

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.semantics.jimpleSemantics.JimpleParser

All Implemented Interfaces:

ProgramParser

public class JimpleParser
extends SceneObject
implements ProgramParser

A parser that takes a source code file and transforms it first into the Jimple intermediate language and then into our own semantics; that is it constructs a Program.

Author:

Hannah Arndt, Christoph

Constructor Summary

Constructors

Constructor and Description
JimpleParser(SceneObject sceneObject, JimpleToAbstractSemantics translationDef) Creates a new parser.

Method Summary

Modifier and Type	Method and Description
Program	parse(String classpath, String classname, String entryPoint) Transforms a source code file into a ProgramImpl that can be analyzed.

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JimpleParser

public JimpleParser(SceneObject sceneObject,
                    JimpleToAbstractSemantics translationDef)

Creates a new parser.

Parameters:

translationDef - The underlying translation of Jimple objects to our own semantics objects.

Method Detail

parse

public Program parse(String classpath,
                     String classname,
                     String entryPoint)

Description copied from interface: ProgramParser

Transforms a source code file into a ProgramImpl that can be analyzed.

Specified by:

parse in interface ProgramParser

Parameters:

classpath - The path to a source code file

classname - The name of the class to transform into a ProgramImpl.

entryPoint - The initial method that is invoked on running the parsed program.

Returns:

The program generated from the source code file.