Make sure all closeable objects in EventBFileWriter are properly closed,
even in the presence of exceptions.

This new table name property is added when generating EventB files, but
can be used for other purpose too.

maven-assembly-plugin: 2.4 -> 2.4.1, bug fixes mostly.

Since jTET is now getting preped for deployment to Maven Central, update the
POM file, adding various metadata tags.

Update some out of date dependencies.  All test still pass, so everything
should be fine.

Underscores are fine characters for names.  Allow their use as well.  This is
just a change in the lexer, which wouldn't recognize them.

To ensure better test coverage, add boolean and predicate subtypes to the list
of generic tests.  Both are again very simple additions, and all current
generators are fine with them.  They are skippable in the usual way.

At least for the SAL generator for SimCheck, I need to transform the variable
names.  Thus add the ability for Variables to have different names outputed
during generation.  This ensures that a given variable always has its name
match as expected.

Also update the various tests to exercise this new functionality.

jTET needs a large amount of throw away instances of types or their marker
for its work.  Instead of creating a new instance each time, use a static
instance to avoid the work.  It also makes it more obvious when something is
temporary.

Yanjun Jiang authored May 11, 2014 and Matthew Dawson committed Jul 01, 2014

In the previous version, output value is set to begin with 0 and increase by 1 each column, like 0,1,2,3...
Now the output value is really aquired from its corresponding cells.

Yanjun Jiang authored May 02, 2014 and Matthew Dawson committed Jul 01, 2014

Until now we have test cases for one layer table, two layers table, three layerstable and one Simple Insulin Infusion Pump (IIP) table.

Yanjun Jiang authored Apr 28, 2014 and Matthew Dawson committed Jul 01, 2014

For now, only single output single grid tables are supported, and only with simple one operator expressions.
Each row in the conditions grid corresponds a single event in EventB, with each cell in the row corresponding to a guard for the event.

A missing throw keyword allowed an exceptional circumstance to continue, when
an enumeration name conflicted with either another enumeration name or with
a variable.  Add appropriate tests to catch such issues and add the throw
keyword.

Make the input and output variable list have more useful names.  Before, they
carried either a legacy idea of what they might have been, or just generic and
confusing.

Add an initial table description to hold what a table is.  Currently I'm not
sure if it is best, as it limits tables to 2 dimensions, and allows for multiple
variable 2 dimensional tables.  But for now it fully represents MATLAB's TET
tables (though TET can't represent all tables represented here ...).

When dealing with a hierarchical grid, it is useful to know how many cases
there are.  Add a simple function to do so.  Also add some quick unit tests
to ensure it functions.

Ignore IDE and generated files in this repository.  This file is recreated
here as the ignore rules used to be in the root .gitignore.

As discussed, do the package rename now.  All MATLAB code is adjusted as necessary,
all java tests pass, and the quadratic example continues to typecheck, as
expected.

As discussed, rename Matlab2SMT to jTET.  Matlab2SMT is a bad name for the
java project, and with its imminent removal first rename it to avoid breakage
in MATLAB code.

Matlab2SMT is moving towards being a real library.  Thus delete the useless
App class that makes it look like a library.  Its only useful function can
be done manually anyways.

To comply with MATLAB Central's license policy, change all files to be BSD
licenced.  Also add a LICENCE file to the root of the project folder, to
make it more obvious the code is 3 clause BSD.  The Licence text is copied
from MATLAB Central.

Add a 2d grid to the java code.  It uses List<> to make the 2d grid itself,
but hides all implementation details, to allow for future modifications.

Update antlr4 version to 4.2.2, and apache commons to 3.3.2.  Also fully
specify all plugin versions.  While the latest should be used by maven,
experience shows this is always the case.  Thus verify everything.

Due to how the matlab grammar was setup, things would break horribly on systems
with case sensitive file names.  This occurred as some elements had names
differing only by case, which both Antlr and Java were fine with, but relied
on the system have case insensitive file names.  Mac/Windows would thus break
in most cases, along with Dropbox.

Fix by removing these names.  I don't use them, and the one useful case is
handled differently, which shouldn't cause issues in the future.

Make sure enumerated types are only emitted once, even when there is more
then one variable declared with the type.  Also fix the generators so they
actually ensure this.

Also, CVC3Generator got some cleanup around the relevant code.

There is no reason to use a HashMap in the test, which makes checking the
result harder.  So, instead just use a LinkedHashMap so the result is always
the same.

Since variable subtypes can depend upon previously declared variables, emit
the variables in the same order as defined.  While some languages may not care,
it is better to be safe then sorry.

Also, since variables are now always emitted in defined order, remove some
excess try .. catch blocks, which were attempting to handle the unknown order.

Add support to SMTLIB and CVC3 to generate enumeration types.

Add anotations to the class so the Fixed Point tests are run preoprly.

The App class only still exists for easy of testing.  But it definitely doesn't
need a test that does nothing useful.

Enumerations need to have a name so the enumerated type can be defined.  Add
the name as a property of type, so generators can get it easily.  Also update
the various users of the type to pass the name in the constructor.

Rename the class to avoid conflicts with new tests being generated.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11089 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

Add support for the generators to deal with enumeration types properly, along
with making sure they won't generate output for other types of operations.
Currently only addition is checked.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11088 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

VariableParser now deals with enumerated types correctly, and VariableCollection
exposes the enumerated types as appropriately so that further parsing/generating
will work correctly.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11087 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

Add support for both custom and unknown custom types.  For now, all unknown
types are simply treated as reals for generation purposes.  Custom types can
be registered with a particular VariableParser using any previously existing
type.  All the generation code ignores the new type name and continues as
before.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11086 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

If an unknown error is received, treat it as a failure but without sample
values.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11085 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

In preparation for enumerations, a more complete handling of variable information
is required.  Thus create a VariableCollection and use it appropriately.  As
much as possible, the VariableCollection is pushed down the stack as much as
possible.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11083 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

VariableParser now needs to store information about custom types (specifically
enumerations).  Thus make parseVariable take an instance now by making it
a method of VariableParser again.  Also change the TET to use a global
singleton (called TET) to store the TET's VariableParser (since the type
information is global to Matlab).

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11082 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

Add parsing and generating support for the exponent operator.  It currently
doesn't support generation over fixed point values, since CVC3 doesn't include
an easy to use function.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10857 57e6efec-57d4-0310-aeb1-a6c144bb1a8b