| java.lang.Object
 de.uka.ilkd.key.ocl.gf.MarkedArea
| MarkedArea | | class MarkedArea (Code) | | Stores quasi a piece of the linearization area, that has a word, a beginning
and an end in the linearization area and a position in the AST. It is used
for clicking in the text
author:
janna, daniels |
| begin | | final public int begin(Code) | | The starting position of the stored words
|
| end | | public int end(Code) | | The ending position of the stored words.
Not final because of some punctuation issue daniels
does not understand
|
| htmlBegin | | final public int htmlBegin(Code) | | the start index in the HTML area
|
| htmlEnd | | final public int htmlEnd(Code) | | the end index in the HTML area
|
| language | | final public String language(Code) | | the concrete grammar (or better, its linearization)
this MarkedArea belongs to
|
| words | | final public String words(Code) | | The actual text of this area
|
| MarkedArea | | public MarkedArea(int begin, int end, LinPosition position, String words, int htmlBegin, int htmlEnd, String language)(Code) | | A stand-alone constuctor which takes all values as arguments
Parameters:
begin - The starting position of the stored words
Parameters:
end - The ending position of the stored words
Parameters:
position - The position in the AST
Parameters:
words - The actual text of this area
Parameters:
htmlBegin - the start index in the HTML area
Parameters:
htmlEnd - the end index in the HTML area
Parameters:
language - the language of the current linearization |
|
|