-
Notifications
You must be signed in to change notification settings - Fork 5
How To Use The Checker
Marcel Heinz edited this page Jul 4, 2017
·
2 revisions
-
Install Java correctly.
-
Clone this repository.
-
Note that the common folder and the checker always have to be in the same parent folder. Check a single model as follows:
cd models java -jar "../checker/checker.jar" -f "django/DBSchema.megal"
-
Check a folder:
cd models java -jar "../checker/checker.jar" -f "django"
-
Check all models:
cd models java -jar ../checker/checker.jar
-
When you are offline, you should turn off warnings that are created because you aren't connected to the internet via '-nocon'
cd models java -jar ../checker/checker.jar -f django/DBSchema.megal -nocon
- How to Megamodel
- Language Description
- Concrete Syntax
- Constraints
- Semantics
- Project How To's
- Install, Build, Test, Run
- Checker Tool
- Visualizer Tool