Atom/vim plugin for syntax checking #16
Description
To support the creation of state machine specifications, it might be useful to create an Atom or a vim plugin that checks the correctness of a state machine specification. This includes syntax checking, verifying that the defined states are declared in the state list, as well as verifying that transitions refer to valid states. Such a plugin would also need to take into account state machine inheritance (i.e. if a state machine inherits from another, the states from the parent state machine will need to be considered as well).