Examples of wyc.builder.FlowTypeChecker$Environment

com.redhat.ceylon.tools.new_.Environment

Responsible for mapping source-level variables to their declared and actual types, at any given program point. Since the flow-type checker uses a flow-sensitive approach to type checking, then the typing environment will change as we move through the statements of a function or method.

This class is implemented in a functional style to minimise possible problems related to aliasing (which have been a problem in the past). To improve performance, reference counting is to ensure that cloning the underling map is only performed when actually necessary.

@author David J. Pearce


    Environment env(String... keyVals) {
        if (keyVals.length % 2 != 0) {
            throw new IllegalArgumentException();
        }
        Environment result = new Environment();
        for (int ii = 0; ii < keyVals.length; ii+=2) {
            result.put(keyVals[ii], keyVals[ii+1]);
        }
        return result;
    }

Examples of wyc.builder.FlowTypeChecker$Environment

Related Classes of wyc.builder.FlowTypeChecker$Environment