de.tubs.cs.sc.casim
Class StateFileGenerator

java.lang.Object
  |
  +--de.tubs.cs.sc.casim.StateFileGenerator

public class StateFileGenerator
extends java.lang.Object

A class with some method to generate JAVA files and HTML files for empty State classes.


Constructor Summary
StateFileGenerator()
           
 
Method Summary
static void generateStateSource(java.lang.String sClass, java.io.PrintWriter p)
          generates an java source file for a new subclass of State with empty or default method bodies
static void generateTableStateCDL(de.tubs.cs.sc.casim.StateSetDefinition ssd, java.lang.String sClass, java.io.PrintWriter p)
          generates an java source file for a new subclass of TableState with empty or default method bodies
static void generateTableStateSource(de.tubs.cs.sc.casim.StateSetDefinition ssd, java.lang.String sClass, java.io.PrintWriter p)
          generates an java source file for a new subclass of TableState with empty or default method bodies
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StateFileGenerator

public StateFileGenerator()
Method Detail

generateStateSource

public static void generateStateSource(java.lang.String sClass,
                                       java.io.PrintWriter p)
generates an java source file for a new subclass of State with empty or default method bodies

Parameters:
sClass - the name of the class
p - the file output
See Also:
State

generateTableStateSource

public static void generateTableStateSource(de.tubs.cs.sc.casim.StateSetDefinition ssd,
                                            java.lang.String sClass,
                                            java.io.PrintWriter p)
generates an java source file for a new subclass of TableState with empty or default method bodies

Parameters:
sClass - the name of the class
p - the file output
See Also:
State

generateTableStateCDL

public static void generateTableStateCDL(de.tubs.cs.sc.casim.StateSetDefinition ssd,
                                         java.lang.String sClass,
                                         java.io.PrintWriter p)
generates an java source file for a new subclass of TableState with empty or default method bodies

Parameters:
sClass - the name of the class
p - the file output
See Also:
State