Initial commit of SysML to B transformation.
Missing file added.
Gitignore added.
Added functionality for OPERATIONS with in and out parameters.
Comment for every generated file added.
Fixed missing ';' in transformation
Initial commit of constraint checks. Contains the following checks:
- No NamedElement uses reserved B keyword
- All parameters have an associated type
Added .project file.
Added .classpath to repository.
Constraints NameIsUnique and NameIsValid added.
Gitignore for directory bin/ added.
Fixed warnings.
Fixed problem with 'null' string comparisions.
Fixed bug that only the first level of the model is traversed.
Added initialization based on default values given from the SysML model.
Added generation of comments for SysML Blocks.
Initial dummy commit
Merge remote-tracking branch 'sysml-to-b/master'
Dummy file removed
Merge remote-tracking branch 'sysml-to-b-constraints/master'