slime.sfcparser
Class Absfc2SFCConverter

java.lang.Object
  extended byslime.sfcparser.Absfc2SFCConverter

public class Absfc2SFCConverter
extends java.lang.Object


Field Summary
 int actionCounter
          for enumberating declarations
 boolean debugflag
          current state of tree processing - see notes
 int declarationCounter
          for enumberating statements
 Constval falseGuard
           
 java.lang.String outputfilename
          used for output if viewOutputOnStdOut is false
 int procActionCounter
          for enumberating declarations in processes
 int procDeclarationCounter
          for enumberating statements in processes
 int processCounter
          for enumberating processes in processes
 int procProcessCounter
          for enumberating actions in processes
 int procStatementCounter
          for enumberating transitions in processes
 int procStepCounter
          for enumberating actions
 int procTransitionCounter
          for enumberating steps in processes
 int statementCounter
          for enumberating transitions
 int stepCounter
           
 int transitionCounter
          for enumberating steps
 Constval trueGuard
           
 boolean viewOutputOnStdOut
          switch whether output should be shown or redirected to outputfilename
 
Constructor Summary
Absfc2SFCConverter(SFCabtree absfcobj)
          Absfc2SFCConverter the constructor for creating a converter object, which transform
a given SFCabtree-tree to an equivalent
SFC-tree.
 
Method Summary
 SFC getSFC()
          getSFC returns the generated SFC-Object
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

trueGuard

public final Constval trueGuard

falseGuard

public final Constval falseGuard

stepCounter

public int stepCounter

transitionCounter

public int transitionCounter
for enumberating steps


statementCounter

public int statementCounter
for enumberating transitions


declarationCounter

public int declarationCounter
for enumberating statements


actionCounter

public int actionCounter
for enumberating declarations


procStepCounter

public int procStepCounter
for enumberating actions


procTransitionCounter

public int procTransitionCounter
for enumberating steps in processes


procStatementCounter

public int procStatementCounter
for enumberating transitions in processes


procDeclarationCounter

public int procDeclarationCounter
for enumberating statements in processes


procActionCounter

public int procActionCounter
for enumberating declarations in processes


procProcessCounter

public int procProcessCounter
for enumberating actions in processes


processCounter

public int processCounter
for enumberating processes in processes


debugflag

public boolean debugflag
current state of tree processing - see notes


viewOutputOnStdOut

public boolean viewOutputOnStdOut
switch whether output should be shown or redirected to outputfilename


outputfilename

public java.lang.String outputfilename
used for output if viewOutputOnStdOut is false

Constructor Detail

Absfc2SFCConverter

public Absfc2SFCConverter(SFCabtree absfcobj)
Absfc2SFCConverter the constructor for creating a converter object, which transform
a given SFCabtree-tree to an equivalent
SFC-tree. The followgin code explains how to
use this object:

slime.absynt.SFC myWantedSFC = null;
slime.absynt.absfc.SFCabtree theInputAbsfc =
someKindOfParserOutput( fileName );
slime.absynt.absfc.Absfc2SFCConverter theConverter =
new slime.absynt.absfc.Absfc2SFCConverter( theInputAbsfc );
myWantedSFC = theConverter.getSFC();


See Also:
for the input format, for the output format, for an example
Method Detail

getSFC

public SFC getSFC()
getSFC returns the generated SFC-Object

Returns:
slime.absynt.SFC the generated SFC.
See Also:
for the input format, for the output format, for an example