README.md 785 Bytes
Newer Older
Niklas Fors's avatar
Niklas Fors committed
1
2
# RelAST Preprocessor

Niklas Fors's avatar
Niklas Fors committed
3
Run preprocessor on train benchmark (output written to standard output):
Niklas Fors's avatar
Niklas Fors committed
4

Johannes Mey's avatar
Johannes Mey committed
5
	$ ./gradlew jar
Niklas Fors's avatar
Niklas Fors committed
6
	$ cat examples/TrainBenchmark.relast
Niklas Fors's avatar
Niklas Fors committed
7
	$ java -jar relast-compiler.jar examples/TrainBenchmark.relast
Johannes Mey's avatar
Johannes Mey committed
8
	$ java -jar build/libs/relast.jar examples/TrainBenchmark.relast
Niklas Fors's avatar
Niklas Fors committed
9

Niklas Fors's avatar
Niklas Fors committed
10
Run preprocessor and write output to files:
Niklas Fors's avatar
Niklas Fors committed
11

Johannes Mey's avatar
Johannes Mey committed
12
	$ java -jar build/libs/relast.jar examples/TrainBenchmark.relast --file
Niklas Fors's avatar
Niklas Fors committed
13
14
15
	$ cat examples/TrainBenchmarkGen.ast
	$ cat examples/TrainBenchmarkGen.jadd

Niklas Fors's avatar
Niklas Fors committed
16
Run test cases:
Niklas Fors's avatar
Niklas Fors committed
17
18

	$ cd test
Niklas Fors's avatar
Niklas Fors committed
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
	$ make

Supported 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*;