Process |
[FlagsAttribute] public enum ProcessSpecFlags
| Member name | Value | Description |
|---|---|---|
| UseNoExistingFiles | 0 | Do not use existing files. |
| UseJavaGeneratedFiles | 1 | Only use existing C# files generated by the Java frontend. |
| UseAllGeneratedFiles | 3 | Use all existing C# files. |
| UseExistingMask | 3 | Mask for flags specifying whether and how already existing C# files shall be used while processing a specification. |
| KeepGeneratedFiles | 4 | Do not delete generated C# files. |
| CompileWithDebug | 8 | Include debug information in the generated assemblies. |
| NoProcessActions | 16 | Do not process intermediate actions file (stops after model has been processed). |
| NoCreateActionsAssembly | 32 | Do not compile the generated final actions file. |
| NoDebugEvents | 64 | Do not fire debug (mostly action) events in the generated code. Used for optimization. |
| NoEvents | 128 | Do not fire (attribute change) events in the generated code. Used for optimization. |
| LazyNIC | 256 | Execute the negatives, independents, and conditionals only at the end of matching. |
| Noinline | 512 | Forbids inlining of subpatterns and independents (allows quick disabling in case of a bug of for comparison). |
| Profile | 1,024 | Profiling information is collected, i.e. some statistics about search steps carried out |
| GenerateEvenIfSourcesDidNotChange | 2,048 | Generates anew even if the sources did not change (needed to get a new build e.g. after changing profiling or statistics) |