Commit 42fc4304 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Rename tablularexpression package to tabularexpression. 

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

src/main/java/ca/mcscert/jtet/cvc3generator/HierarchicalGridCVC3Generator.java

+1 −1
Original line number Diff line number Diff line
@@ -29,7 +29,7 @@ 
package ca.mcscert.jtet.cvc3generator;



import ca.mcscert.jtet.expression.*;

import ca.mcscert.jtet.tablularexpression.HierarchicalGridBreadthFirstCheckerGenerator;

import ca.mcscert.jtet.tabularexpression.HierarchicalGridBreadthFirstCheckerGenerator;





import java.util.ArrayList;

src/main/java/ca/mcscert/jtet/eventbgenerator/EventBProject.java

+1 −1
Original line number Diff line number Diff line
@@ -28,7 +28,7 @@ 
 */

package ca.mcscert.jtet.eventbgenerator;



import ca.mcscert.jtet.tablularexpression.Table;

import ca.mcscert.jtet.tabularexpression.Table;

import java.io.*;



/**

src/main/java/ca/mcscert/jtet/eventbgenerator/EventBTableGenerator.java

+1 −1
Original line number Diff line number Diff line
@@ -28,7 +28,7 @@ 
 */

package ca.mcscert.jtet.eventbgenerator;



import ca.mcscert.jtet.tablularexpression.*;

import ca.mcscert.jtet.tabularexpression.*;



import java.io.IOException;

import java.util.List;

src/main/java/ca/mcscert/jtet/eventbgenerator/HierarchicalGridEventBGenerator.java

+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ import ca.mcscert.jtet.expression.BooleanVariableType; 
import ca.mcscert.jtet.expression.Expression;

import ca.mcscert.jtet.expression.Variable;

import ca.mcscert.jtet.expression.VariableType;

import ca.mcscert.jtet.tablularexpression.HierarchicalGridDepthFirstCheckerGenerator;

import ca.mcscert.jtet.tabularexpression.HierarchicalGridDepthFirstCheckerGenerator;

import org.apache.commons.lang3.StringUtils;



import java.util.*;

src/main/java/ca/mcscert/jtet/pvsgenerator/PVSTableGenerator.java

0 → 100644
+36 −0
Original line number Diff line number Diff line 
/*

 * Copyright (C) 2014 Matthew Dawson <matthew@mjdsystems.ca>

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are

 * met:

 *

 *     * Redistributions of source code must retain the above copyright

 *       notice, this list of conditions and the following disclaimer.

 *     * Redistributions in binary form must reproduce the above copyright

 *       notice, this list of conditions and the following disclaimer in

 *       the documentation and/or other materials provided with the distribution

 *     * Neither the name of the McMaster Centre for Software Certification nor the names

 *       of its contributors may be used to endorse or promote products derived

 *       from this software without specific prior written permission.

 *

 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"

 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE

 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE

 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE

 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR

 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF

 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS

 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN

 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)

 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE

 * POSSIBILITY OF SUCH DAMAGE.

 */



package ca.mcscert.jtet.pvsgenerator;



/**

 * @author matthew

 */

public class PVSTableGenerator {

}