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

Fix typo GenerateLiterlaValue in interface CheckerGenerator. 

Modify it to the correct spelling, i.e., GenerateLiteralValue. Several
classes which implements this interface are also modified for this reason.
parent bd40b2e5

src/main/java/ca/mcscert/jtet/expression/CVC3Generator.java

+1 −1
Original line number Diff line number Diff line
@@ -246,7 +246,7 @@ final public class CVC3Generator implements CheckerGenerator{ 
    }



    @Override

    public String GenerateLiterlaValue(String value, VariableType requestedType) {

    public String GenerateLiteralValue(String value, VariableType requestedType) {

        if (requestedType instanceof RealVariableType) {

            if (value.contains(".")) {

                String[] fraction = value.split("\\.");

src/main/java/ca/mcscert/jtet/expression/CheckerGenerator.java

+1 −1
Original line number Diff line number Diff line
@@ -11,6 +11,6 @@ package ca.mcscert.jtet.expression; 
public interface CheckerGenerator {

    public String GenerateUnaryOperation(UnaryOperation op, String expression, VariableType usedType);

    public String GenerateBinaryOperation(BinaryOperation op, String lhsExp, String rhsExp, VariableType usedType);

    public String GenerateLiterlaValue(String value, VariableType requestedType);

    public String GenerateLiteralValue(String value, VariableType requestedType);

    public String GenerateVariablesDeclaration(VariableCollection vars);

}

src/main/java/ca/mcscert/jtet/expression/EventBGenerator.java

+1 −1
Original line number Diff line number Diff line
@@ -117,7 +117,7 @@ final public class EventBGenerator implements CheckerGenerator{ 
    }



    @Override

    public String GenerateLiterlaValue(String value, VariableType requestedType) {

    public String GenerateLiteralValue(String value, VariableType requestedType) {

        if (requestedType instanceof RealVariableType) {

            if (value.contains(".")) {

                String[] fraction = value.split("\\.");

src/main/java/ca/mcscert/jtet/expression/Literal.java

+1 −1
Original line number Diff line number Diff line
@@ -25,7 +25,7 @@ public final class Literal implements Expression, ExpressionValue { 


    @Override

    public String getCheckerOutput(CheckerGenerator generator, VariableType requestedType) {

        return generator.GenerateLiterlaValue(m_value, requestedType);

        return generator.GenerateLiteralValue(m_value, requestedType);

    }



    @Override

src/main/java/ca/mcscert/jtet/expression/SALGenerator.java

+1 −1
Original line number Diff line number Diff line
@@ -126,7 +126,7 @@ public class SALGenerator implements CheckerGenerator { 
    }



    @Override

    public String GenerateLiterlaValue(String value, VariableType requestedType) {

    public String GenerateLiteralValue(String value, VariableType requestedType) {

        if (requestedType instanceof RealVariableType) {

            return value;

        } else {