de.rwth.i2.attestor.seplog

Class InductivePredicatesParser

java.lang.Object

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

de.rwth.i2.attestor.seplog.InductivePredicatesParser

public class InductivePredicatesParser
extends SceneObject

Parser to create hyperedge replacement grammars from a restricted fragment of inductive predicate definitions in symbolic-heap separation logic.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
InductivePredicatesParser(SceneObject sceneObject)

Method Summary

Modifier and Type	Method and Description
Grammar	parseFromFile(String filename)

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

InductivePredicatesParser

public InductivePredicatesParser(SceneObject sceneObject)

Method Detail

parseFromFile

public Grammar parseFromFile(String filename)
                      throws IOException

Parameters:

filename - Path to the file containing a system of inductive predicate definitions.

Returns:

The constructed grammar.

Throws:

IOException