Examples of com.google.caja.plugin.Planner$Tool

org.antlr.v4.Tool

Dijkstra's algo.

Plan State

A plan state is represented as a set of sets of boolean properties.

Tool

an element in a plan that specifies a transition from plan state to plan state. A tool has preconditions and postconditions both represented as plan states.

A tool is applicable if, each element of the preconditions is a subset of an element of the current plan state.

The result of applying a tool is the union of the postconditions and (the current plan state minus any elements that are supersets of elements in the preconditions).

Plan

A list of tools without repeats such that pre and post condition constraints hold between adjacent elements given a suitable set of initial conditions.

@author mikesamuel@gmail.com

        String userDir = System.getProperty("user.dir");


        String grammarName = userDir + "\\src\\main\\antlr4\\org\\ethereum\\serpent\\Serpent.g4";


        String options[] = {grammarName, "-visitor",  "-package", "org.ethereum.serpent"};
        Tool tool = new Tool(options);
        tool.outputDirectory = userDir + "\\src\\main\\java\\org\\ethereum\\serpent\\";
        tool.processGrammarsOnCommandLine();


//        org.antlr.Tool.main(new String[]{userDir + "\\src\\main\\antlr4\\org\\ethereum\\serpent\\Serpent.g4"});
    }

Examples of com.google.caja.plugin.Planner$Tool

Related Classes of com.google.caja.plugin.Planner$Tool