Commit eb6ea5bb authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Fix TET to work against latest jTET VariableType->Type rename.

Fix the one reference to type information in TET to match the new naming
convention.
parent 05654341
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ function outtable = convert_table_to_java_table( intable )
%   This function converts a table from TET's internal representation to
%   jTET's representation, ready for use against any of jTET's tools.

    outputVar = ca.mcscert.jtet.expression.Variable('output', ca.mcscert.jtet.expression.RealVariableType());
    outputVar = ca.mcscert.jtet.expression.Variable('output', ca.mcscert.jtet.expression.RealType());
    outputVariables = java.util.Arrays.asList([outputVar]);
    vc = ca.mcscert.jtet.expression.VariableCollection(TET.getInstance.getVariableParser.parseVariables(intable.function_inputs), ca.mcscert.jtet.expression.PartialVariableCollection(outputVariables));
    outtable = ca.mcscert.jtet.tabularexpression.Table(intable.function_name, vc);