lingua-franca 0.10.1
Lingua Franca code generator
Loading...
Searching...
No Matches
org.lflang.analyses.uclid.UclidGenerator Member List

This is the complete list of members for org.lflang.analyses.uclid.UclidGenerator, including all inherited members.

actionInstancesorg.lflang.analyses.uclid.UclidGenerator
additionalPostProcessingForModes()org.lflang.generator.GeneratorBaseprotected
buildUsingDocker()org.lflang.generator.GeneratorBaseprotected
checkModalReactorSupport(boolean isSupported)org.lflang.generator.GeneratorBaseprotected
checkWatchdogSupport(boolean isSupported)org.lflang.generator.GeneratorBaseprotected
cleanIfNeeded(LFGeneratorContext context)org.lflang.generator.GeneratorBaseprotected
commandFactoryorg.lflang.generator.GeneratorBaseprotected
contextorg.lflang.generator.GeneratorBase
copyUserFiles(TargetConfig targetConfig, FileConfig fileConfig)org.lflang.generator.GeneratorBaseprotected
createMainInstantiation()org.lflang.generator.GeneratorBaseprotected
CTorg.lflang.analyses.uclid.UclidGenerator
doGenerate(Resource resource, LFGeneratorContext context)org.lflang.analyses.uclid.UclidGenerator
errorsOccurred()org.lflang.generator.GeneratorBase
expectationsorg.lflang.analyses.uclid.UclidGenerator
generateActionAxioms()org.lflang.analyses.uclid.UclidGeneratorprotected
generateConnectionAxioms()org.lflang.analyses.uclid.UclidGeneratorprotected
generateControlBlock()org.lflang.analyses.uclid.UclidGeneratorprotected
generatedFilesorg.lflang.analyses.uclid.UclidGenerator
generateInitialConditions()org.lflang.analyses.uclid.UclidGeneratorprotected
generateProperty()org.lflang.analyses.uclid.UclidGeneratorprotected
generateReactionAxioms()org.lflang.analyses.uclid.UclidGeneratorprotected
generateReactionIdsAndStateVars()org.lflang.analyses.uclid.UclidGeneratorprotected
generateReactionTriggerAxioms()org.lflang.analyses.uclid.UclidGeneratorprotected
generateReactorSemantics()org.lflang.analyses.uclid.UclidGeneratorprotected
generateTimerAxioms()org.lflang.analyses.uclid.UclidGeneratorprotected
generateTimingSemantics()org.lflang.analyses.uclid.UclidGeneratorprotected
generateTraceDefinition()org.lflang.analyses.uclid.UclidGeneratorprotected
generateTriggersAndReactions()org.lflang.analyses.uclid.UclidGeneratorprotected
generateUclidCode()org.lflang.analyses.uclid.UclidGeneratorprotected
generateUclidFile()org.lflang.analyses.uclid.UclidGeneratorprotected
GeneratorBase(LFGeneratorContext context)org.lflang.generator.GeneratorBase
getCommandFactory()org.lflang.generator.GeneratorBase
getConflictingConnectionsInModalReactorsBody(VarRef source, VarRef dest)org.lflang.generator.GeneratorBaseprotected
getDockerGenerator(LFGeneratorContext context)org.lflang.analyses.uclid.UclidGeneratorprotected
getMainDef()org.lflang.generator.GeneratorBase
getReactionBankIndex(Reaction reaction)org.lflang.generator.GeneratorBase
getTarget()org.lflang.analyses.uclid.UclidGenerator
getTargetConfig()org.lflang.generator.GeneratorBase
getTargetTypes()org.lflang.analyses.uclid.UclidGenerator
hasModalReactorsorg.lflang.generator.GeneratorBase
hasWatchdogsorg.lflang.generator.GeneratorBase
instantiationGraphorg.lflang.generator.GeneratorBaseprotected
mainorg.lflang.generator.GeneratorBase
mainDeforg.lflang.generator.GeneratorBaseprotected
messageReporterorg.lflang.generator.GeneratorBase
namedInstancesorg.lflang.analyses.uclid.UclidGenerator
outputDirorg.lflang.analyses.uclid.UclidGenerator
parseCommandOutput(String line)org.lflang.generator.GeneratorBaseprotected
printInfo(LFGeneratorContext context)org.lflang.generator.GeneratorBase
reactionBankIndicesorg.lflang.generator.GeneratorBaseprotected
reactionInstancesorg.lflang.analyses.uclid.UclidGenerator
reactorsorg.lflang.generator.GeneratorBaseprotected
registerTransformation(AstTransformation transformation)org.lflang.generator.GeneratorBaseprotected
reportCommandErrors(String stderr)org.lflang.generator.GeneratorBase
runnerorg.lflang.analyses.uclid.UclidGenerator
setReactionBankIndex(Reaction reaction, int bankIndex)org.lflang.generator.GeneratorBase
setReactorsAndInstantiationGraph(LFGeneratorContext.Mode mode)org.lflang.generator.GeneratorBaseprotected
targetConfigorg.lflang.generator.GeneratorBaseprotected
triggerInstancesorg.lflang.analyses.uclid.UclidGenerator
UclidGenerator(LFGeneratorContext context, List< Attribute > properties)org.lflang.analyses.uclid.UclidGenerator