Changes between Version 24 and Version 25 of GMC


Ignore:
Timestamp:
11/11/16 13:29:25 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v24 v25  
    4141scopeValues[[BR]]
    4242
    43 '''edu.udel.cis.vsl.civl.model.common.ModelBuilderWorker.java'''[[BR]]
    44 hasNextTimeCountCall?[[BR]]
    45 parProcFunctions[[BR]]
    46 runProcFunctions[[BR]]
    47 bundleableEncountered[[BR]]
    48 bundleableTypeList[[BR]]
    49 callStatements[[BR]]
    50 callEvents[[BR]]
    51 functionMap[[BR]]
    52 handledObjectTypes[[BR]]
    53 
    5443'''edu.udel.cis.vsl.civl.semantics.common.UFExtender.java'''[[BR]]
    5544''Possible Solution'':Initialize the field uninterpretedFunctions exactly once in constructor with all known abstract functions and never change again.[[BR]]