Package org.bigraphs.grgen.converter

Class Main

java.lang.Object
org.bigraphs.grgen.converter.Main
public class Main extends Object
Main entry point for the command-line interface.
Author:
Dominik Grzelak

  • Field Details

    • verbose

      static boolean verbose

  • Constructor Details

    • Main

      public Main()

  • Method Details

    • main

      public static void main(String[] args) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.InvalidReactionRuleException, org.bigraphs.framework.core.exceptions.operations.IncompatibleInterfaceException, IOException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.InvalidReactionRuleException
      org.bigraphs.framework.core.exceptions.operations.IncompatibleInterfaceException
      IOException

    • verbose

      public static void verbose(Runnable r)

    • checkRuleFormat

      public static boolean checkRuleFormat(String singleRuleSpec)

    • getRuleFormatEntries

      public static String[] getRuleFormatEntries(String singleRuleSpec)