Resolve "Update license on MatlabParser.g4"

Closes #4

See merge request !13

Party!

To meet Sonatype's requirements, ensure source is built along with
javadoc.

JUnit/ANTLR continue to progress, so continue to change numbers.

Add some basic documentation to EventBProject, mainly documenting there are
some known failure cases that are being addressed, but are not ready yet.

In preparation for release, remove some functions from the public api.  They
aren't even needed for testing anymore, so just kill it.

In preperation for a proper release, add a plugin to the pom file to
sign everything.

Major pieces of work are now in place.

This only handles single output tables for now.

First run at this implementation, handling all the basics.

PVS can now deal with grids, generating the appropriate code for PVS to
use.  Single output tables generate slightly differently, to maintain
compatibility with old TET output.  It also looks nicer.

Start work on PVS.  For now, just deal with simple PVS expressions.
This is almost a straight copy of the SAL generator.

Since organizations helped fund this work, make sure to give them
credit.

The Table class now accepts an ExpressionParser interface for its constructor,
allowing for cell's expression to be written in any (single) language.

Update tests to continue to use the Matlab parser.

To allow for any given expression parser to be used in jTET, have both
existing expression parsers implement an interface, instead of being a bunch
of static methods.  This also moves all code over to the new interface.

This simplifies ParserOperatorParseTest, as it no longer needs reflection
to call the parse functions.

This adds some extra special exceptions to report errors from the parsers.
The existing ones don't make use of them yet, but they can in the future
when error reporting gets better.

Yanjun Jiang authored Nov 21, 2014 and Matthew Dawson committed Nov 22, 2014

jTET does not support Boolean comparison now, no matter it is
Equals or NotEquals. This is caused by the BooleanType is not
included in the array list for the Equals and NotEquals cases
in the getInputTypeForOutput function. We fix this by adding
the BooleanType in the array list.

Instead of generating invalid CVC3 code when a grid has a single used cell,
instead simply do not generate a disjoint TCC as it will always be true
anyways.

ExpressionGenerator now has javadoc, and changed the interface's parameter
names to be more logical.  Also update all the generators to match.

Multiple grid tables (with both top and left) now parse correctly.  Unit
tests to help prove this, with the underlying assumption that since no
interface changes happened, all generators are happy.

Note that the breadth first generator doesn't get a notice on grid switch,
which is still planned.

Tables which have only a top grid are now walkable, with unit tests to prove
it.  These tables come out identical to tables with the grid in the left
position, and thus don't require further tests in generators.

Make sure the table walking works as expected.  Currently tests the only
implemented part, which is the left grid breadth/depth first walking.

TableTest didn't have the RunWith annotation.  Fix.

Since the predicate subtype can be set per variable, move that logic to the
Variable class, away from the Type class.  Before, Type disagreed on whether
two instances could be equal, and whether they could be easily duplicated.
This makes the distinction unimportant.  It does neuter the custom type
functionality in VariableParser some, but that can be added back later.

Rename the given function, to match the VariableType change, along with making
the name more descriptive.

SAL's GenerateVariableType is now GenerateType, matching everyone else.

EventB's GenerateVariableType is now GenerateType.  Also narrow its visibility
to private, as it doesn't need to be public.

Along the same pattern, SMTLIB has one kicking around.

Along the same theme, more VariableType renames.

Similar to the VariableType to Type change, update VariableTypeMarker.

With the upcoming changes to VariableType, it is really no longer tied to
variables at all.  Thus rename to Type to better represent its role.

Expression had a non-existent license header.  Fix.  Also improve its
documentation.

Accidently left VariableTypeMarker as package private, for no good reason.
Fix to be public.  Discovered when when writing its documentation.

VariableTypeMarker gains javadoc strings.  Also fix the parameter of its
method, to match coding styles.

Slightly style change to getName.  Since we are in a table, we have to be
fetching the table name.  Reinforcing the fact doesn't help anything.

Since all details about n-dimensional tables are now internal to the Table
class and (eventually) the generators themselves, there is no longer a use
case for adjusting the TCC numbering offset in CVC3.  Thus just remove the
constructor, making everything simpler.

Provide a set of simpler PartialVariableCollection constructors.  These take
a list and work from there.  Note that the original Map version still exists
for VariableParser.

SMTLIB's test suite ignored the Query parameter.  To avoid possible failures
in the future, stick a quick set of tests in for that.

Cause its useless.

Correct stupid spelling mistake that slipped through.  This avoids writing
a bunch of MATLAB code that will only fail later.