|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsota.lang.java.ast.util.JavaASCFormatter
public class JavaASCFormatter
Übernimmt die Formattierung der Instrumentationsanweisungen nach einem einheilichen Schema.
Field Summary | |
---|---|
private static java.lang.String |
BOOLVARHEAD
der Präfix der boolschen Variablen |
private static java.lang.String |
ENDCOMMENT
das Ende eines Kommentars |
private static java.lang.String |
INTRO0
die erste (und dritte) Introzeile |
private static java.lang.String |
INTRO1
die zweite Introzeile |
private static java.lang.String |
LOGFUNCTION
der Name der Logfunktion |
private static java.lang.String |
NL
Linebreak-Zeichen |
private static java.lang.String |
PATHIDVAR
der Name der Variablen, die den Zeitstempel liefert |
private static java.lang.String |
PREFIX
der Präfix für eine Kommentarzeile |
private static java.lang.String |
STARTCOMMENT
der Beginn eines Kommentars |
private static java.lang.String |
TAB
Tabulator-Zeichen |
private static java.lang.String |
TSFUNCTION
der Name der Funktion, die den Zeitstempel liefert |
Constructor Summary | |
---|---|
JavaASCFormatter()
|
Method Summary | |
---|---|
private static java.lang.String |
comment(java.lang.String s)
Liefert den String, der einen Kommentar einfasst. |
static java.lang.String |
conditionsToASCString(Condition c)
Liefert die String-Darstellung einer Bedingung. |
static java.lang.String |
declarationOfBooleans(int nrPrimaryConditions,
java.util.Vector<java.lang.Integer> nrAtoms)
Deklariert am Funktionsanfang die nötigen Variablen. |
static java.lang.String |
endCompound()
Liefert den String, der einen Block beendet. |
static java.lang.String |
getBooleanName(Condition c)
Liefert den String für den Variablennamen zur Auswertung einer Bedingung. |
static java.lang.String |
getBooleanName(Condition c,
int a)
Liefert den String für den Variablennamen zur Auswertung einer Bedingung. |
static java.lang.String |
insert(java.lang.String s)
Liefert den String, der eine Quellcodezeile einfügt. |
static java.lang.String |
insert(java.lang.String s,
java.lang.String suffix)
Liefert den String, der eine Quellcodezeile mit Kommentar einfügt. |
static java.lang.String |
insertASCLoggerImport()
Fügt den Logger-Import in die Datei ein. |
static java.lang.String |
insertComment(java.lang.String comment)
Liefert den String, der einen Kommentar in den Quellcode einfügt |
static java.lang.String |
insertForInit(java.lang.String s)
Liefert den For-Init-String. |
static java.lang.String |
insertForUpdate(java.lang.String s)
Liefert den For-Update-String. |
static java.lang.String |
insertIfStatement(java.lang.String prefix,
Condition cond,
java.lang.String postfix,
java.lang.String suffix)
Liefert den String für die Auswertung von If-Knoten. |
static java.lang.String |
insertIntro()
Erstellt das Intro der Datei. |
static java.lang.String |
insertPIDInit()
Liefert den String zur Defintion der Pfadvariablen (Zeitstempel). |
private static java.lang.String[] |
logAtoms(Condition cond)
Liefert rekursiv analysierte Logkommandos - s[0] liefert die Variablenauswertung, s[1] liefert die Logstrings - dazwischen muss für Schleifenupdate der iteratingNode geloggt werden! |
static java.lang.String |
logCondition(int id,
java.lang.String suffix,
Condition cond)
Liefert einen String mit analysierten Logkommandos für einen ConditionNode. |
static java.lang.String |
logId(int id,
java.lang.String suffix)
Liefert den Log-String für eine ID. |
static java.lang.String |
startCompound()
Liefert den String, der einen Block beginnt. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static final java.lang.String BOOLVARHEAD
private static final java.lang.String ENDCOMMENT
private static final java.lang.String INTRO0
private static final java.lang.String INTRO1
private static final java.lang.String LOGFUNCTION
private static final java.lang.String NL
private static final java.lang.String PATHIDVAR
private static final java.lang.String PREFIX
private static final java.lang.String STARTCOMMENT
private static final java.lang.String TAB
private static final java.lang.String TSFUNCTION
Constructor Detail |
---|
public JavaASCFormatter()
Method Detail |
---|
private static java.lang.String comment(java.lang.String s)
s
- der Kommentar
public static java.lang.String conditionsToASCString(Condition c)
c
- die Bedingung
public static java.lang.String declarationOfBooleans(int nrPrimaryConditions, java.util.Vector<java.lang.Integer> nrAtoms)
nrPrimaryConditions
- die Anzahl an primären BedingungennrAtoms
- die Anzahl an Atomen
public static java.lang.String endCompound()
public static java.lang.String getBooleanName(Condition c)
c
- die Bedingung
public static java.lang.String getBooleanName(Condition c, int a)
c
- die Bedingunga
- der Index
public static java.lang.String insert(java.lang.String s)
s
- der einzufügende String
public static java.lang.String insert(java.lang.String s, java.lang.String suffix)
s
- der einzufügende Stringsuffix
- der Kommentar
public static java.lang.String insertASCLoggerImport()
public static java.lang.String insertComment(java.lang.String comment)
comment
- der Kommentar
public static java.lang.String insertForInit(java.lang.String s)
s
- der Initialisierungsausdruck
public static java.lang.String insertForUpdate(java.lang.String s)
s
- die Update-Anweisung
public static java.lang.String insertIfStatement(java.lang.String prefix, Condition cond, java.lang.String postfix, java.lang.String suffix)
prefix
- der Prefix der Auswertung - "if("cond
- die Bedingungpostfix
- der Postfix der Auswertung - ")"suffix
- der Kommentar für diese Quellcodezeile
public static java.lang.String insertIntro()
public static java.lang.String insertPIDInit()
private static java.lang.String[] logAtoms(Condition cond)
cond
- die Bedingung
public static java.lang.String logCondition(int id, java.lang.String suffix, Condition cond)
id
- die zu loggende IDsuffix
- der erläuternde Kommentar, z.b. die IDcond
- die Bedingung
public static java.lang.String logId(int id, java.lang.String suffix)
id
- die zu loggende IDsuffix
- ein Kommentar als Suffix
public static java.lang.String startCompound()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |