Package org.bigraphs.grgen.converter.cli

Class GrGenScriptFileBuilder

java.lang.Object
org.bigraphs.grgen.converter.cli.GrGenScriptFileBuilder
public class GrGenScriptFileBuilder extends Object
This class creates a GrGen.NET script file with the file extension *.grs. The script file includes the host graph (*.grs) and implements a simple rule execution strategy for testing purposes. The output before and after the transformation is visualized via yComp.
Author:
Dominik Grzelak

  • Constructor Details

    • GrGenScriptFileBuilder

      public GrGenScriptFileBuilder(String projectName)

  • Method Details

    • generateScriptFile

      public String generateScriptFile(String hostGraphFileName, List<String> ruleNames)
      It generates a script template that can be executed with GrShell.

      The employed rule execution strategy is simple. Execute every rule (given as a list via the argument ruleNames) by a single GrGen.NET exec statement. Only the first rule is actually executed, the other statements are commented out.

      Parameters:
      hostGraphFileName - the filename of the host graph (*.grs)
      ruleNames - the rule names to execute
      Returns:
      the script template