- Action - Class in ru.ispras.retrascope.model.efsm
-
- Action(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified assignment.
- Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs non-concurrent object with the specified assignment.
- Action(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified list of assignments of the specified concurrency mode.
- Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs non-concurrent object with the specified collection of assignments.
- add(Entity) - Method in class ru.ispras.retrascope.basis.Arguments
-
- add(Engine) - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Adds an engine into the configuration.
- add(Entity) - Method in class ru.ispras.retrascope.basis.Entity
-
Adds a given entity to this one.
- add(String) - Method in class ru.ispras.retrascope.basis.FileNames
-
Adds a given file name to the list.
- add(Entity) - Method in class ru.ispras.retrascope.basis.FileNames
-
- add(Entity) - Method in class ru.ispras.retrascope.basis.Void
-
- add(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Adds event.
- add(Entity) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds the specified entity.
- add(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
-
- add(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds the specified statement as child to this object.
- add(Statement, int) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds the specified child statement to this statement at the specified position.
- add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Adds the specified values to this descriptor.
- add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Adds value to this case statement object.
- add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- add(Entity) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
-
Adds the specified entity.
- add(Entity) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- add(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Adds a HLDD to this process.
- add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
- add(Entity) - Method in class ru.ispras.retrascope.result.property.PropertyEntity
-
- add(Entity) - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
Adds the specified sequence model to this one.
- add(Entity) - Method in class ru.ispras.retrascope.result.test.TestModel
-
Adds the specified test model to this one.
- add(Entity) - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
-
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds all the statements from the specified list as children.
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- addAssertions(Map<String, ModuleProperty>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
-
Adds model properties to the visitor.
- addAssignment(Assignment) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Adds assignment.
- addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.efsm.Action
-
- addAssignments(List<Assignment>) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Appends assignments list to the last assignment of this object.
- addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.efsm.Action
-
- addBackend(Backend) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds back-end.
- addBlockingNodes(Hldd, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Adds the blocking condition to the specified phase variable HLDD.
- addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
- addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- addChild(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddNonTerminalNode
-
Adds the specified
HlddNode
to the children nodes.
- addChildren(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Adds the specified collection of
HlddNode
to the children of the node.
- addClock(NodeVariable) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Add the specified object as clock-like variable for this model.
- addClock(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Adds the specified clock event to this object's collection.
- addClock(String, NodeVariable) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
-
Associate clock-like variable with the name-specified module.
- addClocks(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Adds the specified clock events collection to the object's collection.
- addContainer(ModuleProperty) - Method in class ru.ispras.retrascope.result.property.PropertyEntity
-
Adds non-null module-level property container.
- addContainer(NodeVariable, UseDefContainer) - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
-
Adds the use/def conditions for the specified variable.
- addEngine(Engine) - Method in class ru.ispras.retrascope.basis.ToolChain
-
Registers the given engine in the tool chain taking into account data dependencies.
- addEvent(Event) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Add the specified event which this process is sensible to.
- addEvent(Event) - Method in class ru.ispras.retrascope.result.test.TestVector
-
Adds the specified event to the vector.
- addEvents(Collection<? extends Event>) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Adds a collection of events.
- addEvents(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Adds events from the specified collection to this one.
- addEvents(EventList) - Method in class ru.ispras.retrascope.result.test.TestVector
-
Adds the specified events to this vector.
- addExpression(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Adds an expression to the edge.
- addExpressions(Collection<? extends Node>) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Adds expressions to the edge.
- addFileOutput(String) - Static method in class ru.ispras.retrascope.util.Log
-
Adds the file output to the log.
- addInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified EFSM into this module as so-called "initial EFSM" which must be
simulated in the very beginning of this module simulation.
- addInputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds the given input type of the engine.
- addInterface(String, DeclarationContainer) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Adds to interface storage the specified module's name and it's signal interface.
- addMetaInfo(Enum<?>, Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(Enum<?>, Object) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(String, Object) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(Map<String, Object>) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Add all the meta-information that is stored in the specified mapping.
- addModule(Module) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds the specified module as a child one for this object.
- addModuleProperty(ModuleProperty) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Adds the specified module-level property container object.
- addModules(Collection<? extends Module>) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds objects from the specified collection as children for this object.
- addNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Adds the specified node to the diagram.
- addNonInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified non-initial EFSM into this module.
- addOption(String, String) - Method in class ru.ispras.retrascope.util.ToolTest
-
Adds option long name and, probably, it's value to the tool command line.
- addOption(Parameter, String) - Method in class ru.ispras.retrascope.util.ToolTest
-
Adds command line parameter and, probably, it's value to the tool command line.
- addOption(String) - Method in class ru.ispras.retrascope.util.ToolTest
-
Adds no-value option with the specified long name to the tool command line.
- addOption(Parameter) - Method in class ru.ispras.retrascope.util.ToolTest
-
Adds no-value parameter to the tool command line.
- addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds the given parameter to the engine.
- addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Parameters
-
Adds a given option to the specification.
- addProcessProperty(ProcessProperty) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Adds the specified process-level property container object.
- addProperty(Node) - Method in class ru.ispras.retrascope.model.basis.Module
-
Adds the specified module-level property.
- addProperty(Node) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Adds the specified process-level property.
- addProperty(Node) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Adds the specified expression that uses variables
that are already declared at the parent container.
- addProperty(Node) - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Adds the specified expression that uses variables
that are already declared at the parent container.
- addResetGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Adds the specified guarded action to this EFSM.
- addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
-
Adds the specified sequence to this test.
- addState(Node) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Creates a new state based on the specified logical expression and adds it into this EFSM.
- addState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Adds the specified state into this EFSM.
- addTest(Test) - Method in class ru.ispras.retrascope.result.test.TestModel
-
Adds the specified test to this test model.
- addTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.TestVector
-
Adds the specified transaction to this vector.
- addTransition(EfsmState, EfsmState, GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Creates a new transition with the specified guarded action between the specified states and
adds it into this EFSM.
- addVariable(String, NodeValue) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Adds a variable with the specified name and value to this transaction.
- addVector(TestVector) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vector to the end of this sequence.
- addVectors(List<TestVector>) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vectors to the end of this sequence.
- addVersion(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Adds a version variable to the container.
- addVersions(Versions) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Adds the specified versions container to the registry.
- addVersions(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Adds a collection of version variables to the container.
- addVisited(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Add statement identifiers from the specified collection to the storage of identifiers
for statements that are already visited by this walker.
- ALIGN_CENTER - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- ALIGN_LEFT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- ALIGN_RIGHT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- append(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends the specified string to the output file.
- appendLine(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends the specified line to the output file.
- appendLine() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends an empty line to the output file.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Applies bindings to this statement.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- apply(Map<String, Node>, Assignment) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Applies the specified bindings to the specified statement.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- applyToEventList(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Applies expressions to bounded event variables.
- areCompatible(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified logical expressions are compatible
(getConjunction(nodes[0], ..., nodes[n-1]) is SAT)
.
- areComplete(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified logical expressions are complete
(!getComplement(nodes[0], ..., nodes[n-1]) is SAT)
.
- Arguments - Class in ru.ispras.retrascope.basis
-
This class represents command line parameters and implements command line parsing.
- Arguments(Parameters) - Constructor for class ru.ispras.retrascope.basis.Arguments
-
Constructs an arguments entity with the given specification of parameters.
- Arguments(Parameters, String...) - Constructor for class ru.ispras.retrascope.basis.Arguments
-
Constructs an arguments entity with the given specification of parameters.
- Assignment - Class in ru.ispras.retrascope.model.basis
-
Assignment statement.
- Assignment() - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Default constructor.
- Assignment(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Constructs object with the specified target variable and value expression.
- Assignment(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Constructs object with the specified target non-ranged variable and value expression.
- AssignmentContainer - Interface in ru.ispras.retrascope.model.basis
-
Container of assignments.
- AtomicTestGenerator - Class in ru.ispras.retrascope.engine.basis
-
The class representing an atomic test generator, that is, test generator operating at the
sequence-level instead of test-level.
- AtomicTestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
-
- CfgAssertBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Backend for the HDL parser that substitutes assert nodes by the equivalent statements.
- CfgAssertBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
-
- CfgAssertStatement - Class in ru.ispras.retrascope.model.cfg
-
Assertion statement of control flow graph model.
- CfgAssertStatement(Node, CfgAssertStatement.Severity, String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Constructs assertion statement with the specified parameters.
- CfgAssertStatement.Severity - Enum in ru.ispras.retrascope.model.cfg
-
Assertion statement severity levels.
- CfgBfsWalker - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model walker running in breadth-first search mode.
- CfgBfsWalker(CfgVisitor) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBfsWalker
-
Constructs walker object with the specified parameters..
- CfgBlockSeqBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
The control flow graph model visitor that transforms sequences of basic block nodes.
- CfgBlockSeqBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBlockSeqBackend
-
- CfgBlockStatement - Class in ru.ispras.retrascope.model.cfg
-
Basic block node of process' control flow graph.
- CfgBlockStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object of the specified type flag.
- CfgBlockStatement(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified assignments and the type flag.
- CfgBlockStatement(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified assignment and the flag type.
- CfgBlockStatement(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified collection of assignments.
- CfgBlockStatement(Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified assignment and of non-concurrent type.
- CfgBlockStatement(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object that contains one assignment with the specified target and value.
- CfgBlockStatement(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object that contains one assignment with the specified target and value.
- CfgCaseData - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph case statement's data descriptor.
- CfgCaseData(EventList, Collection<NodeValue>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified "free-of-values" value.
- CfgCaseData(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified value.
- CfgCaseData(CfgCaseData) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Copy constructor.
- CfgCaseStatement - Class in ru.ispras.retrascope.model.cfg
-
Case statement of control flow graph model.
- CfgCaseStatement(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs the case statement with the specified parameters.
- CfgCaseStatement(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs the case statement with the specified parameters.
- CfgCaseStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement of the specified default type.
- CfgCaseStatement(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement with the specified value.
- CfgCaseStatement(Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement with the specified values.
- CfgCaseStatement(CfgCaseData) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs new statement with the specified data container.
- CfgConditionStatement - Class in ru.ispras.retrascope.model.cfg
-
Sequential statement that is enhanced with condition.
- CfgContext - Class in ru.ispras.retrascope.model.cfg
-
Auxiliary class for symbolic execution of block statements with the specified pre-condition.
- CfgCPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.c
-
Printer for
CfgModel
model to C programming language format.
- CfgCPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
-
Default constructor.
- CfgCVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.c
-
Control flow graph visitor for C language printer.
- CfgDependencyGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
-
GraphML printer for dependencies in the Control Flow Graph model.
- CfgDependencyGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
Constructs object with the specified identifier, input/output types,
walkers.
- CfgDependencyGraphVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
-
GraphML printer of CFG processes dependencies.
- CfgDependencyGraphVisitor() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
Constructs dependency printer.
- CfgDfsWalker - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model walker running in a depth-first search mode.
- CfgDfsWalker(ModelVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
Constructs walker object with the specified parameters.
- CfgEmptyCaseBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Parser backend that merges empty case statements of one switch statement.
- CfgEmptyCaseBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgEmptyCaseBackend
-
- CfgEmptyVisitor - Class in ru.ispras.retrascope.model.cfg
-
An empty visitor for control flow graph model.
- CfgEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
-
- CfgEventListToNodeBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
- CfgEventListToNodeBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgEventListToNodeBackend
-
- CfgGaddTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd
-
- CfgGaddTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
-
Default constructor.
- CfgGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
-
Control flow graph printer to GraphML format.
- CfgGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
Default constructor.
- CfgGraphMlVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
-
Control flow graph visitor for GraphML printer.
- CfgInitialProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
HDL parser backend that removes initial processes from model but keeps their data.
- CfgInitialProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgInitialProcessBackend
-
- CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
-
Control flow graph model interface.
- CfgInterface() - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Default constructor.
- CfgInterfaceExtractor - Class in ru.ispras.retrascope.engine.cfg.extractor.iface
-
Interface extractor for control flow graph model.
- CfgInterfaceExtractor() - Constructor for class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
-
Default constructor.
- CfgLoopBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
The control flow graph model visitor that detects loops or cycles and transforms them.
- CfgLoopBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
-
- CfgLoopStatement - Class in ru.ispras.retrascope.model.cfg
-
Loop statement for control flow graph node.
- CfgLoopStatement(CfgLoopStatement.Type, Node, Assignment, Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Constructs loop statement with the specified parameters.
- CfgLoopStatement.Type - Enum in ru.ispras.retrascope.model.cfg
-
Loop statement types.
- CfgModel - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model.
- CfgModel() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModel
-
Default constructor.
- CfgModule - Class in ru.ispras.retrascope.model.cfg
-
Module of control flow graph model.
- CfgModule(String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
-
Constructs object with the specified name.
- CfgModule(Module) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
-
Constructs the object that copies data from thw specified one.
- CfgOneBlockProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Backend for
HdlParser
engine
that detects one-basic-block processes and transforms them.
- CfgOneBlockProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
-
- CfgProcess - Class in ru.ispras.retrascope.model.cfg
-
Process of control flow graph model.
- CfgProcess() - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Default constructor.
- CfgProcess(String, EventList, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with specified parameters.
- CfgProcess(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with the specified value of initial flag.
- CfgProcess(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with the specified sensitivity list of events.
- CfgProcess(ModuleProcess) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs the object that copies the data of the specified one.
- CfgRandomTestGenerator - Class in ru.ispras.retrascope.engine.cfg.generator.test.random
-
Random test generator for Control Flow Graph model.
- CfgRandomTestGenerator() - Constructor for class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Default constructor.
- CfgRangedSwitchBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Parser backend that transforms sequences of switch statements with ranged variables in
conditions.
- CfgRangedSwitchBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgRangedSwitchBackend
-
- CfgSsaBlockVisitor - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd
-
The SSA transformer component that collects basic block statements in accordance with
their blocking\concurrent nature.
- CfgStatement - Class in ru.ispras.retrascope.model.cfg
-
Basic class for control flow graph model statements.
- CfgStatementType - Enum in ru.ispras.retrascope.model.cfg
-
Control flow graph model nodes types.
- CfgStatisticBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Backend for the HDL parser that gathers statistic information
about the module under consideration.
- CfgStatisticBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgStatisticBackend
-
- CfgSwitchSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects and transforms sequences of switch nodes.
- CfgSwitchSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
-
- CfgSwitchStatement - Class in ru.ispras.retrascope.model.cfg
-
Switch statement of control flow graph model.
- CfgSwitchStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Constructs an object with the specified condition.
- CfgUtils - Class in ru.ispras.retrascope.model.cfg
-
Utility methods for control flow graph model and it's components.
- CfgVarRangeBlockBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Parser backend that transforms assignments with variable ranges into control flow
sub-graphs that contain assignments with constant ranges only.
- CfgVarRangeBlockBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgVarRangeBlockBackend
-
- CfgVisitor - Interface in ru.ispras.retrascope.model.cfg
-
Control flow graph model visitor.
- CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
-
Base class for control flow graph model visitor-based back-ends.
- CfgVisitorBackend(String, CfgVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
-
Creates object with the specified model visitor.
- CfgWaitBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects and transforms wait nodes.
- CfgWaitBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
Default constructor.
- CfgWaitStatement - Class in ru.ispras.retrascope.model.cfg
-
Wait statement of the control flow graph model.
- CfgWaitStatement(EventList, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified events and condition fields.
- CfgWaitStatement(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified events.
- CfgWaitStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified condition field.
- CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
-
The model checking method command line parameter.
- CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Model checking method parameter.
- chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
-
Chooses and returns a transition for traversing.
- chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearUncoverChooser
-
Chooses and returns a transition for traversing.
- chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
-
Chooses and returns a transition for traversing.
- chooseNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
-
Chooses and returns a transition for traversing.
- clear() - Method in class ru.ispras.retrascope.model.basis.EventList
-
Removes all the internal events.
- clear(File) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
-
Clears the specified existing file.
- clear() - Method in class ru.ispras.retrascope.util.SatSolver
-
Clear solver's internal data.
- clearEvents(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Removes all the events that are related on the variables from the specified collection.
- CLK_LVL - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Active level of clock signal.
- CLK_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Name of clock signal.
- clockFree() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Checks whether this object does not contain clocks.
- closeFileHandlers() - Static method in class ru.ispras.retrascope.util.Log
-
Closes all file handlers which are associated with the Retrascope root logger.
- closeGraphMlFile(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Close graphml file.
- closeGroup(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Close group node.
- CLV_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
-
The 'clock variable name' command line parameter.
- COLLECT_USEDEF - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
-
- collectAssignments(NodeVariable, NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Searches for and assigns the values of the specified right-hand side variable to the specified
original variable.
- collectCoverage(TestModel, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils
-
Collect EFSM transition coverage information for the specified test model on the specified
EFSM model.
- COLOR_BLUE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_GREEN - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_LIGHT_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_ORANGE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_PURPLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_RED - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_YELLOW - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COMMAND_FILE - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
- compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
-
- compareVariablesByName(NodeVariable, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Compares the specified variable names.
- compatibleWith(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is compatible with the specified one.
- Configuration - Class in ru.ispras.retrascope.basis
-
This class implements tool
Retrascope
configuration.
- Configuration() - Constructor for class ru.ispras.retrascope.basis.Configuration
-
- configure(String...) - Method in class ru.ispras.retrascope.basis.Configuration
-
Configures this object using command line arguments.
- configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
-
- configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
- configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
-
- configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
-
- configureVisitor(Map<EntityType, Entity>, Arguments, HlddVisitor) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
-
- constructBlockingVarHldd(Module, NodeVariable, NodeVariable, Map<ModuleProcess, NodeVariable>) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Constructs the blocking variable HLDD using the specifed parameters.
- contains(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
-
Checks whether the given parameter is specified.
- contains(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Indicates whether the registry contains the specified variable.
- contains(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks whether this object contains the specified event.
- contains(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks whether this object contains an event on the specified variable.
- contains(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether this statement contains the specified as the child.
- containsEmptyModules(HlddModel) - Static method in class ru.ispras.retrascope.model.hldd.HlddModelUtils
-
Checks whether the model contains empty modules.
- containsInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Checks whether object contains it's initial value.
- containsInput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contain input signal variable with the specified name.
- containsInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Checks whether object contains invariant.
- containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contains output signal variable with the specified name.
- containsRegister(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contains internal variable with the specified name.
- containsState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if the specified state is in this EFSM.
- containStatements() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether this statement contains any other embedded statements.
- containsVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks does this object contain the specified variable.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether object contains a variable with the specified name.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- containsVariable(String) - Method in class ru.ispras.retrascope.result.test.TestVector
-
Checks if the specified variable is in this vector.
- containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Checks if the specified variable is in this transaction.
- createGuardHldd(Node, NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Constructs a one-node HLDD from the specified switch node and the corresponding guard variable.
- CROPPING_TEXT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- currentModule - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- currentPhaseVars - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- GaddClockDetectBackend - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd.backend
-
Component that detects clock-like variables in the
GaddModel
model.
- GaddClockDetectBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
-
- GaddEfsmTransformer - Class in ru.ispras.retrascope.engine.gadd.transformer.efsm
-
- GaddEfsmTransformer() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
-
Default constructor.
- GaddGraphMlPrinter - Class in ru.ispras.retrascope.engine.gadd.printer.graphml
-
Printer for
GaddModel
model to GraphML format.
- GaddGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
-
Default constructor.
- GaddHlddFormulaVisitor - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.formula
-
This visitor constructs a formula-based HLDD from a GADD.
- GaddHlddFormulaVisitor() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
-
Constructs a visitor.
- GaddHlddTransformer - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
-
This engine transforms the GADD model into the HLDD model.
- GaddHlddTransformer() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
-
Constructs a new engine.
- GaddHlddUtils - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd
-
This class contains some methods that are used in gadd-to-hldd transformation process.
- GaddModel - Class in ru.ispras.retrascope.model.gadd
-
Guarded Actions Decision Diagram (i.e.
- GaddModel(CfgModel, Map<ModuleProcess, Graph<Phase, PhaseSeqEdge>>) - Constructor for class ru.ispras.retrascope.model.gadd.GaddModel
-
Constructs an object with the specified parameters.
- GaddPathCounterBackend - Class in ru.ispras.retrascope.engine.cfg.transformer.gadd.backend
-
Transformer component that calculates the number of model paths.
- GaddPathCounterBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
-
- GaddPropertyExtractor - Class in ru.ispras.retrascope.engine.gadd.extractor.property
-
This engine extracts the use/def properties from the
GaddModel
model.
- GaddPropertyExtractor() - Constructor for class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
-
Constructs a new engine.
- GaddUseDefVisitor - Class in ru.ispras.retrascope.engine.gadd.extractor.property
-
- GaddUseDefVisitor() - Constructor for class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
-
- generateTest() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
-
Generates and returns a test.
- get(String) - Static method in class ru.ispras.retrascope.basis.EntityType
-
Returns the entity type with the given identifier.
- getAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns action.
- getActionUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Action
action.
- getAdditionalFiles() - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
Returns additional files (for example, test pattern and library files) related to this
testbench.
- getAllMetaInfo() - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns all the meta-information that is stored in this object.
- getAllVersions() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Returns all versions of all variables.
- getArguments() - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the unparsed part of the command line (typically, list of files).
- getArray() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names (as an array).
- getArrayElement(NodeVariable, Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
-
Creates a variable that represents an array item using the specified array variable and
the index value.
- getArraySize(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Returns the specified array size (for one-dimensional arrays).
- getAscending() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'ascending" field value.
- getAssignedValue() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Returns the assigned expression.
- getAssignedVariables() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the variables that are assigned in this process.
- getAssignmentMap(Collection<Assignment>, VersionRegistry, boolean) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
-
Creates a variable-assigned value map from the specified collection of assignments.
- getAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Returns all assignments.
- getAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getAssignments() - Method in class ru.ispras.retrascope.result.test.TestVector
-
Returns assignments.
- getBackends() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the list of back-ends.
- getBase() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'base" field value.
- getBeginSubListSequences(Collection<Sequence>, Sequence) - Static method in class ru.ispras.retrascope.result.test.TestModelUtils
-
Returns the collection of objects from the specified collection that have common sub-list
at the beginning of the specified object.
- getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the string delimiter for bit vector variable declaration.
- getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBitVectorDelim() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the string prefix for bit vector variable declaration.
- getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBitVectorPrefix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the string suffix for bit vector variable declaration.
- getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBitVectorSuffix() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getBmcBound() - Static method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Returns the current value of the bound for bounded model checking.
- getCfgCaseData() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns the data descriptor for this statement.
- getChecker() - Static method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the checker instance.
- getCheckerVariables() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
-
- getChild() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns the child node.
- getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
- getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- getChildren() - Method in interface ru.ispras.retrascope.model.hldd.HlddNonTerminalNode
-
Returns the children nodes.
- getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddClockedVisitorBase
-
- getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
-
- getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
-
- getClock() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
-
- getClock(String) - Method in class ru.ispras.retrascope.model.gadd.GaddModel
-
Returns the clock-like variable that is associated with module that has the specified name.
- getClock() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Returns clock-like variable of the top-level container.
- getClockAssignment(NodeVariable, Collection<NodeVariable>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates clock assignment.
- getClockGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns a conjunction of guard's node and a node formed by clock events.
- getClockNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns a node that is formed by clock events.
- getClocks() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns clock-like variables related to this model.
- getClocks() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns clock events.
- getCommandLine() - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the command line having been set before.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns condition.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
Returns Node
condition.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter condition.
- getConditionEquation() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns this edge's branch equation using parent condition node.
- getConfiguration() - Static method in class ru.ispras.retrascope.Retrascope
-
Returns the tool configuration.
- getConstant(Data) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns Data
description in SMV format.
- getConstraintDescription(SmvExprPrinter.ConstraintType, Collection<Node>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
- getContainerMap() - Method in class ru.ispras.retrascope.result.property.PropertyEntity
-
Returns module-level property containers mapping.
- getContext() - Method in class ru.ispras.retrascope.model.cfg.CfgContext
-
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns mapping from data type string description to "string-to" conversion functions names.
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getCounterexampleCount() - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Returns the number of counterexamples found after model checking.
- getCounterexamples() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Returns the number of counterexamples generated during model checking.
- getCoverage() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Returns a test coverage achieved by this simulator since the last reset (if any).
- getCoverage() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
-
Returns a coverage achieved by this generator.
- getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Returns a test coverage reached during simulation since last reset.
- getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getCoverage(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns a coverage of the specified EFSM.
- getCovered() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all covered transitions in this coverage.
- getCurrentState() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Returns a state of an underlying model which this simulator is currently in.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Returns a state of an underlying EFSM which this simulator is currently in.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns data type of the declared variable with the specified name.
- getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns data type of the declared variable with the specified name.
- getDataType(RangedVariable) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
-
Returns the data type of this object.
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns mapping from data types to their string representations.
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getDebugFile() - Method in class ru.ispras.retrascope.basis.Backend
-
Returns the backend's debug file.
- getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the declaration for the specified variable.
- getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns the declaration of the specified variable.
- getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the mapping from declared variables to their declarations.
- getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Mapping of internal variables names to variable declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns variables declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns variables declarations.
- getDefaultDirectory() - Static method in class ru.ispras.retrascope.basis.FileCreator
-
Returns the name of the default directory.
- getDefaultEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Returns the default child edge.
- getDefaultFileName() - Method in interface ru.ispras.retrascope.engine.basis.PrinterEngine
-
Returns the default name for file is created by the printer.
- getDefaultFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
-
- getDefaultFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
- getDefaultFileName() - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
- getDefaultFileName() - Method in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
-
- getDefineCondition(String) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getDefineCondition(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getDefines() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDefines() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- getDefines() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getDefProcesses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getDescription() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the description of the parameter.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDescription() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDescription(ExprTreePrinter) - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns a string description in the format of the specified printer.
- getDescription() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns a String
description of the object in the format of the default system printer.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Module
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getDescription() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the string description for this object in the format of the specified printer.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getDst() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the end point of this transition.
- getEfsm() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Returns the simulated EFSM.
- getEngine(String) - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns an engine with the given identifier.
- getEngine(Set<EntityType>, Set<Engine>, Set<EntityType>) - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns an engine (a tool chain) capable to generate targets on the base of the sources.
- getEngineRegistry() - Static method in class ru.ispras.retrascope.Retrascope
-
Returns the engine registry.
- getEngines() - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns the collection of all available engines.
- getEngines() - Method in class ru.ispras.retrascope.basis.ToolChain
-
Returns all engines of the tool chain.
- getEntityType() - Method in class ru.ispras.retrascope.basis.Entity
-
Returns the type of the entity (a unique identifier).
- getEnumValue(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
-
Returns the enum value based on the specified string value.
- getEventList() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Returns the
EventList
associated with the parser.
- getEventList() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the list of events that is related to this descriptor.
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns event list.
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Returns event list.
- getEventList() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- getEventList() - Method in class ru.ispras.retrascope.result.test.TestVector
-
Returns an
EventList
associated with this vector.
- getExprDescription(Node) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Returns the expression description string.
- getExprDescription(Node, boolean) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- getExpression(CfgCaseStatement, CfgSwitchStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
- getExpression() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Returns the branch condition.
- getExpressions() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns the edge expressions.
- getExprPrinter() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Returns the current SMV expression printer.
- getFamily(NodeOperation) - Static method in enum ru.ispras.retrascope.util.TemporalOperation
-
Returns the logic family of the specified NodeOperation.
- getFamily() - Method in enum ru.ispras.retrascope.util.TemporalOperation
-
Returns the logic family of the operator.
- getGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns guard's node.
- getGuardUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Guard
condition.
- getHigh() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'high" attribute value.
- getHldd(NodeVariable) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the HLDD for the specified variable.
- getHldds() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the contents of the container.
- getId() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the unique engine identifier.
- getId() - Method in class ru.ispras.retrascope.basis.EntityType
-
Returns the entity type identifier.
- getId() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getId() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns unique node identifier in string form.
- getId() - Method in class ru.ispras.retrascope.model.basis.State
-
Returns unique string identifier of this object.
- getId() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns unique node identifier in string form.
- getId() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- getId() - Method in class ru.ispras.retrascope.model.efsm.Action
-
Returns unique string identifier of this object.
- getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
-
- getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
- getIncoming(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns transitions of the EFSM that end at the specified state.
- getInCount(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of incoming transitions for the specified state.
- getIncrement() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter incrementation assignment.
- getIndexRanges() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns the list of index ranges.
- getIndices() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns the target variable's indices.
- getInit() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter initialization assignment.
- getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns an initial state of this EFSM.
- getInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Returns initial value of declared variable.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the initial value for declared variable with the specified name.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns initial value of the declared variable with the specified name.
- getInitValueState() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns node of the EFSM state that is compliant with initial values of state-like variables.
- getInitVisitor() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Returns initial visitor.
- getInMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
-
- getInputConstraints(Collection<NodeVariable>, NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates input variable constraints that prohibit value changes while clock = 1.
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns input signal declaration format.
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
-
- getInputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared input variables.
- getInputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared input signal variables.
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string description of input port.
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getInputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns a collection of input signal variables that are declared into this object.
- getInputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of input signal variables that are declared into this object.
- getInputsMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Returns input variables and their values.
- getInputsMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- getInputsMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the input types of the engine (i.e., the types of input entities).
- getInstance() - Static method in class ru.ispras.retrascope.util.SatSolver
-
Returns an instance of the satisfiability solver.
- getInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Returns variable invariant.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns invariant of the declared variable with the specified name.
- getInvariant(Declaration, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.DeclarationUtils
-
Returns the constraint representation of the specified variable.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns invariant of the declared variable with the specified name.
- getInvariant() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the process-level invariant.
- getLastTraversed() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Returns a transition which was traversed by this simulator on last cycle.
- getLeft() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'left" attribute value.
- getLength() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'length" field value.
- getLength() - Method in class ru.ispras.retrascope.result.test.Sequence
-
Returns an amount of vectors in this sequence.
- getLevel() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the level of this node.
- getList() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names (as a list).
- getLogEntryHeader() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- getLogFile() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the log of the last checker execution.
- getLogger() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the logger of the engine.
- getLogger() - Static method in class ru.ispras.retrascope.util.Log
-
Returns the root logger.
- getLogger(Class<?>) - Static method in class ru.ispras.retrascope.util.Log
-
Returns the component logger.
- getLongName() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the long name of the parameter.
- getLoopType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop type.
- getLow() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'low" attribute value.
- getMacroOperation(String, Node...) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
-
Returns the syntax node for the macro-definition that is described by it's name and operands.
- getMapping() - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Returns mapping of modules names and their signal interfaces.
- getMaps() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
-
Returns the MAP data type values with their SMV variable name.
- getMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns meta-information of the specified type.
- getMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns meta-information for the specified key.
- getModel() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
-
- getModel() - Method in class ru.ispras.retrascope.model.gadd.GaddModel
-
- getModel() - Method in interface ru.ispras.retrascope.model.hldd.HlddBuilder
-
- getModel() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
Returns the constructed CFG model.
- getModuleDeclaration(String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module declaration in SMV format.
- getModuleDeclaration(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module declaration in SMV format with empty parameter list.
- getModuleInstantiation(String, String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module instantiation in SMV format.
- getModuleName() - Method in class ru.ispras.retrascope.util.ToolTest
-
Returns the target module name.
- getModuleNames(Arguments, FileNames) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
-
- getModules() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns a collection of child modules.
- getModules() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns sub-modules.
- getName() - Method in class ru.ispras.retrascope.basis.Backend
-
Returns the backend name.
- getName() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns terminal name for parameter.
- getName() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Returns a name of this simulator.
- getName(NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Checks whether the variable name is acceptable by SMV syntax.
- getName(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Checks whether the specified name is acceptable by SMV syntax.
- getName() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns the module name.
- getName() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Returns the process name.
- getName() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- getName() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Returns name of this object.
- getName() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns object's name.
- getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
-
Returns an iterator which enables to retrieve a next sequence of vectors produced by this
generator.
- getNode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Returns an expression which this state is represented by.
- getNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the diagram's nodes.
- getNonInitialEfsms() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns top-level non-initial EFSMs of this EFSM module.
- getOperation(StandardOperation) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.BitVectorOpCodeMapper
-
Gets bit vector analogous operation code of the specified operation code.
- getOperationCode(IGOperationBinary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgBinaryMapper
-
Gets operation code of the specified operation.
- getOperationCode(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
-
Gets operation code of the operation with the specified name.
- getOperationCode(IGOperationUnary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgUnaryMapper
-
Gets operation code of the specified operation.
- getOption() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the parameter in the Apache Commons CLI format.
- getOptionalInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
-
- getOptions() - Method in class ru.ispras.retrascope.basis.Parameters
-
Returns the list of supported parameters in the Apache Commons CLI format.
- getOriginal() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
-
Returns the original variable.
- getOriginal() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
-
Returns the corresponding original variable.
- getOriginalRange() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns the original range from the assignment target.
- getOriginalVariable(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Returns the original variable of the specified version variable.
- getOriginalVariable() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Returns the original variable this container associated to.
- getOriginalVariable() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns the link to original variable object.
- getOutCount(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of outgoing transitions for the specified state.
- getOutFileExt() - Method in class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
-
- getOutFileExt() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
-
Returns the extension for generated files.
- getOutFileExt() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
-
- getOutFileName() - Method in class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
-
- getOutFileName() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
-
- getOutFileName() - Method in class ru.ispras.retrascope.engine.cfg.printer.c.CfgCPrinter
-
- getOutgoing(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns transitions of the EFSM that start at the specified state.
- getOutMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
-
- getOutput() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Returns engine output entity.
- getOutput() - Method in class ru.ispras.retrascope.engine.basis.PrinterWalkerEngine
-
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractor
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyVisitor
-
Returns object's output.
- getOutput() - Method in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
-
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns output signal declaration format.
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared output variables.
- getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared output signal variables.
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string description of output port.
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getOutputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns a collection of output signal variables that are declared into this object.
- getOutputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of output signal variables that are declared into this object.
- getOutputsMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Returns output variables and their values.
- getOutputsMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- getOutputsMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the output type of the engine (i.e., the type of output entities).
- getOutputVector() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns output vector that is produced by this object.
- getOverallSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
-
Returns the total number of specifications.
- getParameters() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the parameters of the engine.
- getParameters() - Method in class ru.ispras.retrascope.basis.Parameters
-
Returns the list of supported parameters.
- getParent() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns parent statement.
- getParent() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the parent of the node.
- getParent() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Returns parent container.
- getParent() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns parent container.
- getParentContainer() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns parent container of this EFSM.
- getParentDirName(String) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
-
Returns the base name of parent directory for the file is described in the specified path.
- getPercentage() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns a percentage representation of this test coverage computed with the default precision.
- getPercentage(int) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns a percentage representation of this test coverage computed with the specified
precision.
- getPercentage() - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Returns a percentage representation of this test coverage with a default precision.
- getPercentage(int) - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Returns a percentage representation of this test coverage with the specified precision.
- getPhase() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Returns the associated value of phase variable.
- getPhaseVariable(Module, ModuleProcess) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Gets the phase variable of the specified process.
- getPostCondition(CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns the post-condition for the specified sequence of block statements.
- getPredecessor(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns the statement that comes before the specified statement.
- getPreviousPhases() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.PhasedDescriptor
-
Returns the list of previous phases.
- getProcesses() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns processes.
- getProcessInstantiation(Collection<ModuleProcess>, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates process instantiations in SMV format.
- getProcessMap() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Returns mapping of names to nested process-level property containers.
- getProcessPhaseMap() - Method in class ru.ispras.retrascope.model.gadd.GaddModel
-
Returns the mapping from model processes to their phase sequence graphs.
- getProperties() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns the list of module-level properties.
- getProperties() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Returns process-level properties' list.
- getProperties() - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Returns a collection of properties.
- getProperties() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns a collection of properties.
- getPropertyNum() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns the number of related properties.
- getRange() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns the range field for this object's target.
- getRange() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'range" field value.
- getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns the event ranged variable.
- getRangeInvariant(Node, Node, boolean) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
-
Returns the invariant in range form.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared internal (register) variables.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared register variables.
- getRegMemory() - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Returns internal variables and their values.
- getRegMemory() - Method in class ru.ispras.retrascope.engine.basis.SimulationSnapshot
-
- getRegMemory() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- getRegMemory() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- getRegs(Module) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns a list of registers of the specified module.
- getReport() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns error report.
- getResetGuardedActions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns reset guarded actions of this EFSM, that is, such guarded actions which represent an
initialisation of this EFSM.
- getResult() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the result of the last checker execution.
- getResultingDependencies(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns mapping between modified variables and affecting variables.
- getResultingSubstitutions(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns mapping between variables and corresponding substitutions.
- getRight() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'right" attribute value.
- getRootNode() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the root node.
- getRstGuardedAction() - Method in class ru.ispras.retrascope.result.property.ProcessProperty
-
Returns resetting guarded action.
- getSeparatedDescription(ExprTreePrinter, String) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns this assignment description that is presented in format of the specified printer
with the specified separator.
- getSeparator(ExprTreePrinter, boolean) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns assignment separator for the specified printer and basic block concurrent type.
- getSequenceNum() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns the number of sequences which this test consists of.
- getSequences() - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
Returns sequences of this sequence model.
- getSequences() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns a list of sequences which this test consists of.
- getSeverity() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns severity level.
- getShortestPath(EfsmState, EfsmState, Efsm.TransitionWeightBasis) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Looks for the shortest path from the specified source state
to the specified destination state with the specified principle of transition
weight defining.
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a model which is simulated by this simulator.
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getSize() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Returns the size of the array of values.
- getSmvFileName(Arguments) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
-
- getSources() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
-
Returns the sources entities to be analyzed.
- getSrc() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the start point of this transition.
- getSrcType() - Method in class ru.ispras.retrascope.parser.basis.HdlParser
-
Returns the type of HDL source inputs.
- getSrcType() - Method in class ru.ispras.retrascope.parser.verilog.VerilogParser
-
- getSrcType() - Method in class ru.ispras.retrascope.parser.vhdl.VhdlParser
-
- getStatement(int) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns a child statement of the specified index.
- getStatement(Statement, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns sub-statement with the specified identifier.
- getStatement(int) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getStatementNum() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns a number of child statements.
- getStatementNum() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getStateNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of states for this EFSM.
- getStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns all states of this EFSM.
- getStateVariables() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the set of state variables that are used in this object.
- getStatus() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- getStatus() - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
-
- getStatus() - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
-
Returns the current status of the visitor.
- getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns ST top entity (group) name.
- getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getStEntityName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getStringMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns the string representation of the data is stored with the specified key.
- getStringMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns the string representation of the data is stored with the specified key.
- getStringValue() - Method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
-
Returns the associated string value of the enum element.
- getStringValues() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
-
Returns the associated string values as an array.
- getStrongestPostCondition(Node, Node, CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Creates strongest post-condition for the specified conditions and the specified list
of block nodes.
- getStylePrinter() - Method in class ru.ispras.retrascope.basis.Configuration
-
Returns expression style printer.
- getSubSimulator(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns a simulator for the specified EFSM.
- getSubSimulators() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns all process simulators of this simulator.
- getSubStatement(CfgSwitchStatement, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Returns switch type sub-statement for the specified one.
- getSuccessors(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns statements that go after the specified statement.
- getSuccessors(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the following nodes of the specified node.
- getSuperStatement(Statement, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
Returns super-statement (sub-...parent) for the specified one with the specified fields.
- getTarget() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns defined ranged variable.
- getTargets() - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns the collection of all available targets (output types of engines).
- getTargetVariable() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Returns the target variable.
- getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the name for ST template directory.
- getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTemplateDirName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the name for ST template.
- getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTemplateName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getTerminalNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the terminal nodes.
- getTerminalSuccessors(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the following terminal nodes of the specified node.
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns an extension of the testbench files.
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getTestbenchFile() - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
Returns a path to the testbench file.
- getTests() - Method in class ru.ispras.retrascope.result.test.TestModel
-
Returns tests of this test model.
- getTopParent(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns the top level parent for the specified statement.
- getTopStatements(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns the collection of top level statements of the specified one.
- getTransactions() - Method in class ru.ispras.retrascope.result.test.TestVector
-
Returns all transactions included in this vector.
- getTransitionNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of transitions for this EFSM.
- getTransitions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns all transitions of this EFSM.
- getTrueSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Returns the number of true specifications after model checking.
- getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns the TST parser template name.
- getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTstParserName() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getType() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names' extension (file type).
- getType(DataType) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns a data type in SMV format.
- getType(NodeVariable) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns variable's data type in SMV format.
- getType(DataType, List<Range>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns a data type in SMV format.
- getType() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns type.
- getType() - Method in class ru.ispras.retrascope.model.basis.Module
-
- getType() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getType() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns the statement type.
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getType() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the type of the node.
- getTypeConversionPrefix(DataTypeId, DataTypeId) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns the type conversion string from the source type into the target type if possible.
- getUncovered() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all uncovered transitions in this coverage.
- getUseCondition(String) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getUseCondition(ModuleProcess) - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getUseDefMap() - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddUseDefVisitor
-
- getUseDefMap() - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- getUseDefMap() - Method in class ru.ispras.retrascope.result.usedef.UseDefEntity
-
Returs the variables and their corresponding use/def conditions contained in the entity.
- getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns names of variables that are used in this object.
- getUseProcesses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getUses() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getUses() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- getUses() - Method in class ru.ispras.retrascope.result.usedef.UseDefContainer
-
- getValue(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the parameter value.
- getValue(Parameter, String) - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the parameter value.
- getValue() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns value expression.
- getValue(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- getValue() - Method in class ru.ispras.retrascope.model.gadd.Phase
-
Returns the phase value.
- getValue(String) - Method in class ru.ispras.retrascope.result.test.TestVector
-
Returns a value of the specified variable from this vector.
- getValue(String) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Returns a value of the specified variable from this transaction.
- getValue(int, DataType) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns object of the specified type that contains the specified value.
- getValueExpr(Node, Node, int, Node) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
-
Creates the following node using the specified parameters:
(index == intIndex) ? storedValue : array[intIndex]
- getValues() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
-
Return the current values of the Version.
- getValues(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Returns the current values of the specifed variable.
- getValues(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Returns the current values of the specifed variable.
- getValues() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the collection of descriptor-related values.
- getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns case statement values.
- getValues() - Method in class ru.ispras.retrascope.result.test.Transaction
-
Returns a map containing mappings between names
and values for all variables of this transaction.
- getVarDeclareSection(Map<NodeVariable, Declaration>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a VAR declaration section in SMV format from a collection of variables.
- getVariable() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
-
Returns the corresponding version variable.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns defined variable.
- getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns declared variable with specified name.
- getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns declared variable with specified name.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns the event variable.
- getVariable() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the associated variable.
- getVariableContainer(Statement, String) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns node that contains a declaration of variable with the specified name.
- getVariableContainer(Statement, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns node that contains a declaration of the specified variable.
- getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names for already declared variables.
- getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of this object variables names.
- getVariableNames(Collection<? extends Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a collection of names for variables from the specified collection.
- getVariableNum() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the number of declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns declared variables.
- getVariableType() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns variable type.
- getVariableValue(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns value of variable with the specified name.
- getVectorNum() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns the number of vectors which this test consists of.
- getVersion(NodeVariable, Deque<NodeVariable>) - Static method in class ru.ispras.retrascope.model.basis.VariableVersionFactory
-
Creates new version of the specified variable.
- getVersionMap(DecStatement) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionUtils
-
Searches for variable versions in the specified
DecStatement
.
- getVersionNumber(NodeVariable) - Static method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddUtils
-
Returns the version number of the specified variable.
- getVersionNumber() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
-
Returns the version number.
- getVersionNumber() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns the number of current version variable.
- getVersions(NodeVariable) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Returns the versions container of the specified variable.
- getVersions() - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Returns the versions of the original variable.
- getVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
-
Returns the backend's internal visitor.
- getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
-
- getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
- getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinter
-
- getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
-
- getVisitor(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvPrinter
-
- getVisitor() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Returns the model visitor.
- getWalkers() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Return engine walkers.
- getWeakestPreCondition(Node, CfgBlockStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Creates the weakest pre-condition for the specified post-condition and the specified
basic block.
- getWhitespace(int) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns the indentation space according to the specified indentation level.
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
-
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
-
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Next statement for walking choosing method.
- goToNextStatement() - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
- GraphMlPrinterEngine - Class in ru.ispras.retrascope.engine.basis
-
Abstract GraphML printer engine.
- GraphMlPrinterEngine(String, EntityType, EntityType, ModelWalker...) - Constructor for class ru.ispras.retrascope.engine.basis.GraphMlPrinterEngine
-
Constructs object with the specified identifier, input/output types,
walkers.
- GraphMlUtils - Class in ru.ispras.retrascope.engine.basis
-
GraphML utils.
- greater(Node, Node) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a "greater-or-equal" operation for the specified operands of the same type.
- Guard - Class in ru.ispras.retrascope.model.efsm
-
Boolean condition that consists of some predicates.
- Guard(Node) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
-
Constructs object with the specified boolean predicate.
- Guard(Collection<Node>) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
-
Constructs object from the specified list of Boolean Node
objects.
- GuardedAction - Class in ru.ispras.retrascope.model.efsm
-
Clocked guarded action.
- GuardedAction(Node, Action, EventList) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified node guard, action and clock events.
- GuardedAction(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified guard condition and action.
- GuardedAction(Node, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified guard expression node and action.
- GuardedAction(Collection<Node>, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object from the specified guard predicates and the specified action.
- GuardedAction(GuardedAction) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Creates a copy of the specified object.
- SatSolver - Class in ru.ispras.retrascope.util
-
Embedded (project-level) satisfiability (SAT) solver.
- SemiRandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
-
The class representing a random-based heuristic for choosing a transitions to traverse.
- SemiRandomEfsmTransitionChooser(Efsm, EfsmState, EfsmTransitionCoverage, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
-
Creates a new SemiRandomEfsmTransitionChooser for the specified EFSM, its state, and coverage.
- Sequence - Class in ru.ispras.retrascope.result.test
-
The representation of a test sequence.
- Sequence() - Constructor for class ru.ispras.retrascope.result.test.Sequence
-
Constructs an empty sequence.
- Sequence(TestVector) - Constructor for class ru.ispras.retrascope.result.test.Sequence
-
Constructs the sequence that contains the specified vector only.
- SequenceModel - Class in ru.ispras.retrascope.result.test
-
The ordered container for sequences.
- SequenceModel() - Constructor for class ru.ispras.retrascope.result.test.SequenceModel
-
Constructs an empty sequence model.
- SequentialStatement - Class in ru.ispras.retrascope.model.basis
-
Class for control flow graph processes internal statements.
- SequentialStatement() - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
-
Default constructor.
- SequentialStatement(SequentialStatement) - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
-
Constructs a copy of the specified object.
- setActive(boolean) - Method in class ru.ispras.retrascope.basis.Backend
-
Makes the backend active or not depending on the flag value.
- setAscending(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized ascending field.
- setAssignedValue(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Sets the assigned expression.
- setBase(DataType) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized base field.
- setBin() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Sets binary bit vector printing mode.
- setBlocking() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Mark the statement as blocking (non-concurrent).
- setBmcBound(int) - Static method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Sets the specified value as the bound for bounded model checking.
- setClock(NodeVariable) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Sets the specified variable as a clock-like for the top-level container.
- setCollectUseDef(boolean) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.formula.GaddHlddFormulaVisitor
-
Enable or disable use/def condition collection.
- setCommandLine(String...) - Method in class ru.ispras.retrascope.basis.Arguments
-
Parses the given command line.
- setConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Mark this statement as concurrent.
- setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Sets loop condition or iteration number.
- setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Sets new Node
condition.
- setCurrentState(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- setDebugFile(File) - Method in class ru.ispras.retrascope.basis.Backend
-
Initializes the backend's debug file.
- setDebugMode(boolean) - Method in class ru.ispras.retrascope.basis.Engine
-
Enables\disables engine's debug mode.
- setDefault(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Sets default type of this case statement object.
- setDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Sets the node as a default node.
- setDefaultDirectory(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
-
Sets the name of the default directory.
- setEventList(EventList) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Associates the specified
EventList
with the parser.
- setEventList(EventList) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- setEventList(EventList) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- setFileName(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
Sets the specified string as name of the GraphML file to be generated.
- setGaddModel(GaddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
-
- setGaddModel(GaddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
-
Adds a GADD model to the visitor.
- setHex() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Sets hexadecimal bit vector printing mode.
- setHigh(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized high field.
- setImmediateAssignment(boolean) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets an immediate assignment property.
- setIndexRanges(List<Range>) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Fills the related list of index ranges with elements from the specified one.
- setIndices(List<Node>) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Sets the new indices for target variable.
- setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Marks the specified state of this EFSM as an initial state.
- setInitialValue(Node) - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Sets new initial value to the declared variable.
- setInvariant(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Sets the specified expression as a process-level invariant.
- setLastTraversed(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- setLeft(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized left field.
- setLength(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized length field.
- setLevel(int) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the level of this node.
- setLevel(Level) - Static method in class ru.ispras.retrascope.util.Log
-
Sets the log level.
- setLow(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized low field.
- setModel(GaddModel) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddClockDetectBackend
-
Sets the specified model as the target one.
- setNuSmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuSMV checker.
- setNuXmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuXMV checker.
- setOriginalRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the original range field.
- setOriginalVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Keeps the link to the specified object.
- setOutputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Sets the given output type of the engine.
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
-
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Sets the specified statement as parent.
- setParent(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- setParent(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the specified
HlddNode
as the parent node.
- setRange(Range) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Sets the range for this object's target field.
- setRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized range field.
- setResetVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.property.ModuleProperty
-
Sets the specified variable as reset-like one.
- setReverseRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized reverse_range field.
- setRight(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized right field.
- setRootNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets the root node.
- setSignalInterface(CfgInterface) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Sets the interface which would be used during parsing.
- setSingleTestable(boolean) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Make the object to be non or single testable depending on the value of the specified parameter.
- setSpecificationFile(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvVisitor
-
Adds the specification file to the visitor.
- setSpecType(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvVisitor
-
Sets the type of specifications to be checked.
- setStatus(ModelVisitor.Status) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
-
- setStatus(ModelVisitor.Status) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Sets internal status field to the specified value.
- setTargetVariable(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Sets the target variable.
- setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefCheckerVisitor
-
- setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.usedef.HlddUseDefSmvVisitor
-
Adds a variable-use/def map to the visitor.
- setUseDefMap(Map<NodeVariable, UseDefContainer>) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- setValue(Node) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Sets new value expression.
- setValue(String, NodeValue) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- setValueFree(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Sets the specified value to "free of values" flag.
- setValues(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- setVariable(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Sets the specified variable as objects' target.
- setVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets the associated variable.
- setVersionNumber(int) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the number of current version variable.
- setWalkers(ModelWalker...) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Sets the specified walker sequence.
- signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
-
- Simulated - Interface in ru.ispras.retrascope.engine.basis
-
AN interface for components that simulate models.
- simulatedModel - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- simulateSequence(Sequence) - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- simulateVector(TestVector) - Method in interface ru.ispras.retrascope.engine.basis.Simulated
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateVector(TestVector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
- simulateVector(TestVector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- SimulationSnapshot - Class in ru.ispras.retrascope.engine.basis
-
The snapshot of simulation.
- SimulationSnapshot(Simulated) - Constructor for class ru.ispras.retrascope.engine.basis.SimulationSnapshot
-
- Simulator<T extends DecStatement> - Class in ru.ispras.retrascope.engine.basis
-
The class representing an abstract simulator.
- Simulator(T) - Constructor for class ru.ispras.retrascope.engine.basis.Simulator
-
Constructs a simulator for the specified model.
- SimulatorEngine - Class in ru.ispras.retrascope.engine.basis
-
The abstract class for engines of the simulator type.
- SimulatorEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.SimulatorEngine
-
Creates an engine with the specified ID and type of a simulated entity as input type.
- singleTestable() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks whether this object can be tested as single one, or not.
- SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
-
The command-line parameter.
- SmvChecker - Class in ru.ispras.retrascope.util
-
This class represents the NuXmv model checker wrapper.
- SmvChecker.Result - Enum in ru.ispras.retrascope.util
-
Result of checker execution.
- SmvCounterexampleParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse a SMV log file and construct a
Test
object.
- SmvCounterexampleParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Constructs a new parser object.
- SmvExprPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This class represents the printer into *.smv format.
- SmvExprPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Default constructor.
- SmvExprPrinter.ConstraintType - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
Types of NuXMV constraints.
- SMVLOG - Static variable in class ru.ispras.retrascope.util.SmvChecker
-
- SmvModelCheckerLauncher - Class in ru.ispras.retrascope.engine.smv.launcher
-
This engine checks the generated *.smv files with the model checker.
- SmvModelCheckerLauncher() - Constructor for class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Constructs a new engine object.
- SmvPrinterEngine - Class in ru.ispras.retrascope.engine.hldd.printer.smv.basis
-
Base class for SMV printing engines.
- SmvPrinterEngine(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.basis.SmvPrinterEngine
-
- SmvPrinterUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This class contains static methods for *.smv file printing.
- SmvReservedWords - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This enum represents the SMV language reserved words.
- SmvReservedWords.Operation - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
Specific SMV operations.
- SmvSpecificationParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse an SMV model file and extract information about specifications.
- SmvSpecificationParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
-
Constructs a new parser.
- SmvStatisticsParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse an SMV log file and extract counterexample statistics.
- SmvStatisticsParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Constructs a new parser.
- SmvTestParser - Class in ru.ispras.retrascope.engine.smv.test.parser
-
This engine parses the *.smvlog files generated by the model checker and constructs a new
TestModel
entity.
- SmvTestParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
-
Constructs a new parser object.
- solve(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Solves the specified expression.
- SOLVER_DEBUG - Static variable in class ru.ispras.retrascope.Retrascope
-
- SOLVER_PROPERTY - Static variable in class ru.ispras.retrascope.Retrascope
-
- SOLVER_VARIABLE - Static variable in class ru.ispras.retrascope.Retrascope
-
- SolverUtils - Class in ru.ispras.retrascope.util
-
Utility methods to work with solver.
- SPECIFICATION_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.spec.HlddSpecSmvPrinter
-
The command-line parameter.
- splitByVar(Node, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Splits the specified node into two parts - one that depends exactly from the specified
variables and another that does not depend.
- standardize(Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
-
Replace operations in expression with standard counterparts.
- standardize(Node, boolean) - Static method in class ru.ispras.retrascope.util.TransformerUtils
-
Replace operations in expression with standard counterparts.
- start(Entity) - Method in class ru.ispras.retrascope.basis.Backend
-
Elaborates the specified entity.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.Engine
-
Processes entities of the input types and produces an entity of the output type.
- start(Map<EntityType, Entity>, EngineEventHandler) - Method in class ru.ispras.retrascope.basis.Engine
-
Processes entities of the input types and produces an entity of the output type.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.ToolChain
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
- start(Entity) - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
-
Elaborates the specified entity.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
- start(Entity) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.backend.GaddPathCounterBackend
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
-
Generates and returns tests for the specified EFSM modules.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmModelSimulator
-
Simulates the specified input sequences on the specified EFSM modules and returns produced
output sequences.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.extractor.property.GaddPropertyExtractor
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.printer.graphml.GaddGraphMlPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.gadd.transformer.hldd.GaddHlddTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.basis.HlddSmvPrinterBase
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- start(Model) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Starts walking the specified model.
- start(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Starts walking the specified statement.
- start(Entity) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgStatisticBackend
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
-
- start(VerilogDesign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- start(Test) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Performs walking across the specified test.
- State - Class in ru.ispras.retrascope.model.basis
-
The class representing a state of some model.
- State() - Constructor for class ru.ispras.retrascope.model.basis.State
-
- STATE_NOT_FOUND - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
-
A string prefix for "state not found" error message.
- STATE_NUM - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
-
State maximum number parameter.
- STATE_VARIABLES - Static variable in class ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer
-
State-like variables names command line parameter.
- Statement - Class in ru.ispras.retrascope.model.basis
-
Basic model component.
- StatementType - Enum in ru.ispras.retrascope.model.basis
-
Model statement types.
- StatementUtils - Class in ru.ispras.retrascope.model.basis
-
- STYLE_DASH - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- STYLE_LINE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- SUB_ENDING - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Substituted variable suffix.
- substitute(List<Statement>, String, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Substitutes usages of variable with the specified name
by the specified expression in all the elements of the specified collection.
- substitute(Node, String, Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
-
Substitutes the given term for variables with the specified name at the specified expression
and simplifies the result.
- substituteAllBindings(Node, List<NodeBinding.BoundVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Substitutes variables that are used in the node by the specified bound variables.
- substituteBackward(List<? extends AssignmentContainer>, Node) - Static method in class ru.ispras.retrascope.util.ModelTransformUtils
-
Performs backward substitution on the specified nodes to the specified expression.
- substituteMaps(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
-
Searches for DataTypeId.MAP values in the specified node and replaces them by generated
array variables.
- substituteVariables(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Substitute variables in the expression by ones that are in mapping.
- Substitutor - Class in ru.ispras.retrascope.engine.efsm.generator.test
-
- Substitutor(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
-
Constructs a substitutor for the specified EFSM.
- valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoValue
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords.Operation
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.EventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.StatementType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.walker.ModelVisitor.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.walker.WalkerMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.LogMessage
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.TemporalOperation.Family
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.TemporalOperation
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum ru.ispras.retrascope.basis.MetaInfoType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.basis.MetaInfoValue
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.basis.ModelCheckingMethod
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords.Operation
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvReservedWords
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.EventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.StatementType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.walker.ModelVisitor.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.walker.WalkerMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.LogMessage
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.TemporalOperation.Family
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.TemporalOperation
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- VariableDescriptor - Class in ru.ispras.retrascope.model.basis
-
Variable data descriptor.
- VariableDescriptor(VariableType) - Constructor for class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Constructs object with the specified variable type.
- VariableDescriptor(VariableDescriptor) - Constructor for class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Copy constructor.
- VariableType - Enum in ru.ispras.retrascope.model.basis
-
Variable types.
- VariableVersionFactory - Class in ru.ispras.retrascope.model.basis
-
The factory for new variable version creation.
- VariableVersionFactory() - Constructor for class ru.ispras.retrascope.model.basis.VariableVersionFactory
-
- VerilogCfgBuilder - Class in ru.ispras.retrascope.parser.verilog
-
This class creates
CfgModel
from Verilog AST provided by Verilog Translator.
- VerilogParser - Class in ru.ispras.retrascope.parser.verilog
-
Verilog Parser class.
- VerilogParser() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogParser
-
Default constructor.
- VerilogTestbenchModel - Class in ru.ispras.retrascope.result.testbench
-
Verilog testbench entity.
- VerilogTestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
-
Constructs object with the specified testbenches.
- Version - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
-
This class represents a version of a variable: it contains the original variable, the version
variable, the version number and the current value.
- Version(NodeVariable, NodeVariable, int, int) - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Version
-
Constructs a new Version of the specified variable.
- VersionRegistry - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
-
This class represents a registry that contains variables and their versions.
- VersionRegistry() - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.VersionRegistry
-
Constructs a registry.
- Versions - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
-
This class represents a container of versions of the original variable.
- Versions(NodeVariable, Collection<NodeVariable>) - Constructor for class ru.ispras.retrascope.engine.gadd.transformer.hldd.version.Versions
-
Constructs a new container using the specified original variable and version variables.
- VersionUtils - Class in ru.ispras.retrascope.engine.gadd.transformer.hldd.version
-
This class contains methods that deal with variable versions and are used in gadd-to-hldd
transformation process.
- VhdlParser - Class in ru.ispras.retrascope.parser.vhdl
-
Parser for VHDL hardware models.
- VhdlParser() - Constructor for class ru.ispras.retrascope.parser.vhdl.VhdlParser
-
Default constructor.
- VhdlTestbenchModel - Class in ru.ispras.retrascope.result.testbench
-
VHDL testbench entity.
- VhdlTestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
-
Constructs object with the specified testbenches.
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified model statement.
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgBfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
- visitNode(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified node.
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified process.
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.efsm.EfsmDfsWalker
-
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
- Void - Class in ru.ispras.retrascope.basis
-
This class represents a void entity.
- Void(String) - Constructor for class ru.ispras.retrascope.basis.Void
-
Constructs a void entity of the given type.