Example #1
0
 // constructor for compiled sequences
 public SequenceCheckingEnvironmentCompiled(ActionNames actionNames, ActionsTypeInformation actionsTypeInformation, IGraphModel model)
 {
     this.actionNames            = actionNames;
     this.actionsTypeInformation = actionsTypeInformation;
     this.model = model;
 }
Example #2
0
        public ActionNames(ActionsTypeInformation ati)
        {
            // extract rule names from domain of rule names to input types map
            ruleNames = new String[ati.rulesToInputTypes.Count];
            int i = 0;

            foreach (KeyValuePair <String, List <String> > ruleToInputTypes in ati.rulesToInputTypes)
            {
                ruleNames[i] = ruleToInputTypes.Key;
                ++i;
            }
            // extract match class names from domain of match class names to filter functions map
            matchClassNames = new String[ati.matchClassesToFilters.Count];
            i = 0;
            foreach (KeyValuePair <String, List <IFilter> > matchClassToFilters in ati.matchClassesToFilters)
            {
                matchClassNames[i] = matchClassToFilters.Key;
                ++i;
            }
            // extract sequence names from domain of sequence names to input types map
            sequenceNames = new String[ati.sequencesToInputTypes.Count];
            i             = 0;
            foreach (KeyValuePair <String, List <String> > sequenceToInputTypes in ati.sequencesToInputTypes)
            {
                sequenceNames[i] = sequenceToInputTypes.Key;
                ++i;
            }
            // extract procedure names from domain of procedure names to input types map
            procedureNames = new String[ati.proceduresToInputTypes.Count];
            i = 0;
            foreach (KeyValuePair <String, List <String> > procedureToInputTypes in ati.proceduresToInputTypes)
            {
                procedureNames[i] = procedureToInputTypes.Key;
                ++i;
            }
            // extract function names from domain of function names to input types map
            functionNames = new String[ati.functionsToInputTypes.Count];
            i             = 0;
            foreach (KeyValuePair <String, List <String> > functionToInputTypes in ati.functionsToInputTypes)
            {
                functionNames[i] = functionToInputTypes.Key;
                ++i;
            }
            // extract function output types from range of function names to output types map
            functionOutputTypes = new String[ati.functionsToOutputType.Count];
            i = 0;
            foreach (KeyValuePair <String, String> functionToOutputType in ati.functionsToOutputType)
            {
                functionOutputTypes[i] = functionToOutputType.Value;
                ++i;
            }
            // extract filter function names from domain of filter functions to input types
            filterFunctionNames = new String[ati.filterFunctionsToInputTypes.Count];
            i = 0;
            foreach (KeyValuePair <String, List <String> > filterFunctionToInputType in ati.filterFunctionsToInputTypes)
            {
                filterFunctionNames[i] = filterFunctionToInputType.Key;
                ++i;
            }

            // assign rules to filters and match classes to filters
            rulesToFilters                 = ati.rulesToFilters;
            matchClassesToFilters          = ati.matchClassesToFilters;
            rulesToImplementedMatchClasses = ati.rulesToImplementedMatchClasses;
            // assign is external information
            proceduresToIsExternal = ati.proceduresToIsExternal;
            functionsToIsExternal  = ati.functionsToIsExternal;
        }