public class PosInSequent
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Range |
bounds |
private Range |
firstJavaStatementRange |
private PosInOccurrence |
posInOcc |
private boolean |
sequent |
Modifier | Constructor and Description |
---|---|
private |
PosInSequent(PosInOccurrence posInOcc,
boolean sequent) |
Modifier and Type | Method and Description |
---|---|
static PosInSequent |
createCfmaPos(PosInOccurrence posInOcc)
creates a PosInSequent that points to a SequentFormula described by
a PosInOccurrence.
|
static PosInSequent |
createSequentPos()
creates a PosInSequent that points to the whole sequent.
|
Range |
getBounds()
returns the bounds in a string representation of a sequent
|
Range |
getFirstJavaStatementRange()
returns the bounds, i.e. the start and end positions of the first Java statement,
of a corresponding Java program in a string representation of the sequent.
|
PosInOccurrence |
getPosInOccurrence()
returns the PosInOccurrence if the PosInSequent marks a
SequentFormula or parts of it, null otherwise.
|
boolean |
isSequent()
returns true if the PosInSequent points to a whole Sequent
|
void |
setBounds(Range r)
sets the bounds, i.e. the start and end positions
of the PosInSequent
in a string representation of a sequent.
|
void |
setFirstJavaStatementRange(Range r)
sets the bounds, i.e. the start and end positions of the first
Java statement, of a corresponding Java program in a string
representation of the sequent.
|
java.lang.String |
toString()
returns a string representation of this PosInSequent
|
private Range bounds
private boolean sequent
private PosInOccurrence posInOcc
private Range firstJavaStatementRange
private PosInSequent(PosInOccurrence posInOcc, boolean sequent)
public static PosInSequent createSequentPos()
public static PosInSequent createCfmaPos(PosInOccurrence posInOcc)
posInOcc
- the PositionInOccurrence describing the
SequentFormula and maybe a subterm of its formula.public void setBounds(Range r)
r
- the range of character positionspublic Range getBounds()
public void setFirstJavaStatementRange(Range r)
r
- the range for the first statement in the corresponding programpublic Range getFirstJavaStatementRange()
public PosInOccurrence getPosInOccurrence()
public boolean isSequent()
public java.lang.String toString()
toString
in class java.lang.Object