4 commits

Author	SHA1	Message	Date
Evan Czaplicki	18c67cb345	Properly perform extraChecks	2013-08-21 19:45:23 -07:00
Evan Czaplicki	b5979b4aaf	Add occurs check and a test to make sure it works	2013-08-19 22:39:41 -07:00
Evan Czaplicki	70f1242bd0	Check that main is a Signal or (Signal Element), add tests for this case	2013-08-19 17:47:37 -07:00
Evan Czaplicki	4da7588d10	Add the ExtraChecks module to do occurs check and check the type of main	2013-08-19 16:54:46 -07:00