rwth.i2.ltlrv.management
Class ByteCodePosition

java.lang.Object
  rwth.i2.ltlrv.management.ByteCodePosition

public class ByteCodePosition
extends Object

This class represents a posiiton within a class in bytecode format.

Author:

Eric

Field Summary

private String	className
private int	line
private String	sourceFile

Constructor Summary

ByteCodePosition(String className, String sourceFile, int line)
Deprecated.

Method Summary

String	getClassName()
int	getLine()
String	getRepresentationForGrammar()
String	getSourceFile()

Methods inherited from class java.lang.Object

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

Field Detail

className

private String className

sourceFile

private String sourceFile

line

private int line

Constructor Detail

ByteCodePosition

@Deprecated
public ByteCodePosition(String className,
                                   String sourceFile,
                                   int line)

Deprecated.

Method Detail

getClassName

public String getClassName()

getSourceFile

public String getSourceFile()

getLine

public int getLine()

getRepresentationForGrammar

public String getRepresentationForGrammar()

Returns:

a parsable represantation of this position