Commit 379080bf authored by Yanjun Jiang's avatar Yanjun Jiang Committed by Matthew Dawson
Browse files

Fix the enumeration type name error in TET file. 

The enumeration type class name should be EnumerationType now. The
old EnumerationVariableType is outdated. Therefore fix it.
parent eb6ea5bb

TET.m

+1 −1
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ classdef (Sealed) TET < handle 
                  'Enumeration constants share the same concrete value'));

            end



            type = ca.mcscert.jtet.expression.EnumerationVariableType(enum);

            type = ca.mcscert.jtet.expression.EnumerationType(enum);

            typeEnumConstants = type.enumerationValues;

            for i=1:size(enumConstants, 1)

                java.lang.String(enumConstants{i})