Commit 56e94b60 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Make the maps returned from VariableCollection immutable. 

To ensure that the variables stored in a VariableCollection remain the same,
ensure that the maps returned from a VariableCollection are immutable.
parent 0c7f72a3

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

+3 −2
Original line number Diff line number Diff line
@@ -28,6 +28,7 @@ 
 */

package ca.mcscert.jtet.expression;



import java.util.Collections;

import java.util.HashMap;

import java.util.Map;

import java.util.Set;
@@ -61,11 +62,11 @@ final public class VariableCollection { 
    }



    public Map<String, Variable> getVariablesAndEnumeratedValues() {

        return m_variablesAndEnumeratedValues;

        return Collections.unmodifiableMap(m_variablesAndEnumeratedValues);

    }



    public Map<String, Variable> getVariables() {

        return m_variables;

        return Collections.unmodifiableMap(m_variables);

    }



    private final Map<String,Variable> m_variables;