RelAST Preprocessor
Run preprocessor on train benchmark (output written to standard output):
$ ./gradlew jar
$ cat examples/TrainBenchmark.relast
$ java -jar relast-compiler.jar examples/TrainBenchmark.relast
$ java -jar build/libs/relast.jar examples/TrainBenchmark.relastRun preprocessor and write output to files:
$ java -jar build/libs/relast.jar examples/TrainBenchmark.relast --file
$ cat examples/TrainBenchmarkGen.ast
$ cat examples/TrainBenchmarkGen.jaddRun test cases:
$ cd test
$ makeSupported relations:
// Directed relations
A.b -> B;
A.b? -> B;
A.bs* -> B;
// Bidirectional relations
A.b <-> B.a;
A.b <-> B.a?;
A.b <-> B.as*;
A.b? <-> B.a;
A.b? <-> B.a?;
A.b? <-> B.as*;
A.bs* <-> B.a;
A.bs* <-> B.a?;
A.bs* <-> B.as*;