- Action - Class in ru.ispras.retrascope.model.efsm
-
- Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified assignment.
- Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified list 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(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Adds value to this case statement object.
- add(Entity) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
-
Adds the specified entity.
- add(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
- add(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- add(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Adds the specified statement as child to this object.
- add(CfgStatement, int) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Adds the specified child statement to this statement at the specified position.
- add(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- add(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- add(Entity) - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
-
Adds the specified entity.
- add(Entity) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
-
- add(Entity) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- add(HlddProcess) - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Adds a process to this module.
- add(Collection<HlddProcess>) - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Adds a collection of processes to this module.
- add(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Adds a HLDD to this process.
- add(Collection<Hldd>) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Adds a collection of HLDDs to this process.
- add(Entity) - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
- add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
- 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.
- addAll(List<CfgStatement>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- addAll(List<CfgStatement>) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Adds all the statements from the specified list as children.
- addAll(List<CfgStatement>) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- addAll(List<CfgStatement>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- addAllModules(Collection<HlddModule>) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
Adds the specified
HlddModule
collection to the model.
- addAssertion(Node) - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Adds the specified expression that uses variables
that are already declared at the parent container.
- addAssertions(Map<String, AssertionContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Adds model assertions 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
-
Adds assignment statement.
- 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
-
Appends assignments list to the last assignment of basic block.
- addBackend(Backend) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds backend.
- addBlock(CfgStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
Simplified adding of process nodes into Cfg.
- addBlock(CfgStatement, EventList, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
Add process node (some block, e.g. assignment) to CFG.
- addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Adds the specified
HlddNode
to the children of the node.
- addChildren(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
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.
- addClocks(Collection<Event>) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Adds the specified clock events collection to the object's collection.
- addConsoleOutput() - Static method in class ru.ispras.retrascope.util.Log
-
Adds the console output to the log.
- addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Adds the specified assertion container object.
- addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Adds non-null assertion container.
- 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.cfg.CfgProcess
-
Add the specified statement which this process is sensible to.
- addEvent(Event) - Method in class ru.ispras.retrascope.result.test.Vector
-
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(Collection<Event>) - Method in class ru.ispras.retrascope.result.test.Vector
-
Adds the specified events to this vector.
- addExpression(Node) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Adds the specified Node
to the stored expressions.
- addExpression(Collection<? extends Node>) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Adds the specified collection of Node
to the stored expressions.
- addFileOutput(String) - Static method in class ru.ispras.retrascope.util.Log
-
Adds the file output to the log.
- addGroup(AssertionGroup) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Adds the specified assertion group object.
- 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.
- addInnerVariable(String, DataType) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds a new inner variable with the specified name and type to this model.
- addInput(String, DataType) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds a new input with the specified name and type to this model.
- addInputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds the given input type of the engine.
- addInterface(String, CfgSignalInterface) - 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.model.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(Enum<?>, String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(String, String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addMetaInfo(Map<String, String>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Adds the specified meta-information mapping.
- addModule(CfgModule) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
-
Adds the specified module to the model.
- addModule(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
-
Adds the specified EFSM module to this EFSM model.
- addModule(HlddModule) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- addModules(Collection<CfgModule>) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
-
Adds modules collection.
- addModules(Collection<EfsmModule>) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
-
Adds the specified EFSM modules to this EFSM model.
- addNestedModule(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified EFSM module into this module.
- addNestedModule(HlddModule) - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Adds a nested module to this module.
- addNestedModules(Collection<HlddModule>) - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Adds a collection of nested modules to this module.
- addNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Adds the specified node to the diagram.
- addNodes(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Adds the collection of nodes to the diagram.
- addNonInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified non-initial EFSM into this module.
- addOutput(String, DataType) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds a new output with the specified name and type to this model.
- 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.
- 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.SequenceModel
-
Adds the specified sequence to this sequence model.
- addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
-
Adds the specified sequence to this test.
- addSequences(List<Sequence>) - Method in class ru.ispras.retrascope.result.test.Test
-
Adds the specified sequences to this test.
- 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.Vector
-
Adds the specified transaction to this vector.
- 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(Vector) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vector to the end of this sequence.
- addVectors(List<Vector>) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vectors to the end of this sequence.
- addVisited(String) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Add the specified statement identifier to the storage of identifiers
for statements that are already visited by this walker.
- addVisited(Collection<String>) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Add statement identifiers from the specified collection to the storage of identifiers
for statements that are already visited by this walker.
- addWhitespace(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Adds two whitespaces to the end of the string.
- 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
-
- apply(Map<String, Node>) - Method in interface ru.ispras.retrascope.model.basis.Instantiated
-
Applies bindings to module's internal processes and sub-modules.
- 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.CfgModule
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
Applies bindings to process control flow graph and sensitivity list.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Applies bindings to this statement.
- 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
{@code (!
- 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.
- Arguments.ExtendedGnuParser - Class in ru.ispras.retrascope.basis
-
This class implements a command line parser on the base of Apache Commons CLI.
- Arguments.ExtendedGnuParser(boolean) - Constructor for class ru.ispras.retrascope.basis.Arguments.ExtendedGnuParser
-
Creates a command line parser.
- Arguments.ExtendedGnuParser() - Constructor for class ru.ispras.retrascope.basis.Arguments.ExtendedGnuParser
-
Creates a command line parser.
- AssertionContainer - Class in ru.ispras.retrascope.result.assertion
-
Named container of assertion groups.
- AssertionContainer(String, AssertionContainer) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Constructs this object with the specified name and parent container.
- AssertionContainer(String) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Constructs this object with the specified name.
- AssertionEntity - Class in ru.ispras.retrascope.result.assertion
-
Entity that contains assertions that are extracted from models.
- AssertionEntity() - Constructor for class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Default constructor.
- AssertionGroup - Class in ru.ispras.retrascope.result.assertion
-
Named group of independent assertions.
- AssertionGroup(String, AssertionContainer) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Constructs object with the specified name and parent container.
- AssertionVariableContainer - Class in ru.ispras.retrascope.result.assertion
-
Container for variables that are used in assertions.
- AssertionVariableContainer() - Constructor for class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
-
- AssertionVisitor - Interface in ru.ispras.retrascope.result.assertion
-
Assertion entity visitor.
- AssertionWalker - Class in ru.ispras.retrascope.result.assertion
-
Assertion walker.
- AssertionWalker(AssertionVisitor) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionWalker
-
Constructs walker with the specified visitor object.
- 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.
- ASSIGNMENT_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Assignment section header.
- 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
-
- castToDataType(Node, DataType) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Casts the specified node to the specified data type.
- 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.
- CfgBasicBlockSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
The control flow graph model visitor that transforms sequences of basic block nodes.
- CfgBasicBlockSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
-
Default constructor.
- 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.
- CfgCaseStatement - Class in ru.ispras.retrascope.model.cfg
-
Case statement of control flow graph model.
- 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(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement of the specified default type.
- CfgCgaaTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
-
Transformer to clocked guarded atomic actions model.
- CfgCgaaTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
-
Default constructor.
- CfgDeclarationStatement - Class in ru.ispras.retrascope.model.cfg
-
- CfgDeclarationStatement() - Constructor for class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
- CfgDeclarationStatement(CfgDeclarationStatement) - Constructor for class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
- CfgDefaultVisitor - Class in ru.ispras.retrascope.model.cfg
-
Default visitor for control flow graph model.
- CfgDefaultVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
Default constructor.
- 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.
- CfgEngine - Class in ru.ispras.retrascope.engine.cfg
-
Abstract engine for control flow graph model elaboration.
- CfgEngine(String, EntityType, EntityType, CfgWalker...) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Constructs object with the specified identifier, input/output types,
walkers.
- 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.
- CfgGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Default constructor.
- CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
-
Control flow grpah 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
-
Default constructor.
- 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.
- CfgOneAssignmentProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects one-basic-block processes and transforms them.
- CfgOneAssignmentProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
-
Default constructor.
- 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(boolean, EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with the specified initial flag and sensitivity list.
- CfgProcess(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with the specified value of initial flag.
- CfgRandomTestGenerator - Class in ru.ispras.retrascope.engine.cfg.generator.test.random
-
Random test generator for Control Flow Graph representation model (precisely, it's interface
representation).
- CfgRandomTestGenerator() - Constructor for class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Default constructor.
- CfgSignalInterface - Class in ru.ispras.retrascope.result.cfginterface
-
Signal part of control flow graph model interface.
- CfgSignalInterface(Collection<NodeVariable>, Collection<NodeVariable>) - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Constructs object with the specified input and output signals.
- CfgStatement - Class in ru.ispras.retrascope.model.cfg
-
- CfgStatement() - Constructor for class ru.ispras.retrascope.model.cfg.CfgStatement
-
- CfgStatement(CfgStatement) - Constructor for class ru.ispras.retrascope.model.cfg.CfgStatement
-
- CfgStatementType - Enum in ru.ispras.retrascope.model.cfg
-
Control flow graph model nodes types.
- 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
-
Default constructor.
- CfgSwitchStatement - Class in ru.ispras.retrascope.model.cfg
-
Switch statement of control flow graph model.
- CfgSwitchStatement(Event, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Constructs an object with the specified event and condition.
- CfgSwitchStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Constructs an object with the specified condition.
- CfgSwitchStatement(Event) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Constructs an object with the specified event.
- CfgUtils - Class in ru.ispras.retrascope.model.cfg
-
Utility methods for control flow graph model and it's components.
- CfgVisitor - Interface in ru.ispras.retrascope.model.cfg
-
Control flow graph model visitor.
- CfgVisitor.Status - Enum in ru.ispras.retrascope.model.cfg
-
- CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
-
Base class for control flow graph model visitor-based back-ends.
- CfgVisitorBackend(CfgVisitor, CfgWalkerMode) - 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
-
- CfgWaitStatement(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- CfgWaitStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- CfgWalker - Class in ru.ispras.retrascope.model.cfg.walker
-
Control flow graph model walker.
- CfgWalker(CfgVisitor, CfgWalkerMode) - Constructor for class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Constructs object with the specified parameters.
- CfgWalkerFactory - Class in ru.ispras.retrascope.model.cfg.walker
-
Factory for control flow graph model walkers.
- CfgWalkerMode - Enum in ru.ispras.retrascope.model.cfg.walker
-
Walking model of control flow graph model walker.
- CgaaEfsmTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.efsm
-
The transformer of clocked guarded actions container
CgaaModel
into
extended finite state machine
EfsmModel
.
- CgaaEfsmTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
Default constructor.
- CgaaFilterPathBackend - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
-
CGAA constructor component that filters (removes) unreachable paths from the constructed model.
- CgaaFilterPathBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- CgaaGraphMlPrinter - Class in ru.ispras.retrascope.engine.cgaa.printer.graphml
-
Clocked guarded atomic actions model printer to GraphML format.
- CgaaGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
-
Default constructor.
- CgaaHlddTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.hldd
-
This engine transforms the cgaa model into the HLDD model.
- CgaaHlddTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
-
Constructs a new engine.
- CgaaModel - Class in ru.ispras.retrascope.model.cgaa
-
Clocked Guarded Atomic Actions (i.e.
- CgaaModel(CfgModel) - Constructor for class ru.ispras.retrascope.model.cgaa.CgaaModel
-
Constructs an object with the specified control flow graph internal model.
- CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
- CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
- checkInnerConsistency() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- checkInnerConsistency() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- checkInnerConsistency() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- checkInputConsistency() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- 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.NearestUncoveredEfsmTransitionChooser
-
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.
- 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.
- 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.
- 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_WHITE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_YELLOW - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
-
- compareTo(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Compares this object to the specified object.
- 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.
- contains(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
-
Checks whether the given parameter is specified.
- 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(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether this range contains (as a subset) the given one (rhs
).
- contains(BigInteger) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether this range contains the given point.
- contains(NodeVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Checks does this object contain the specified variable.
- contains(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Checks whether this statement contains the specified as the child.
- containsInitialValue() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
-
Checks whether object contains it's initial value.
- containsInnerVariable(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Checks if this model has an inner variable with the specified name.
- containsInput(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Checks if this model has an input with the specified name.
- containsInput(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Checks whether this object contain input signal variable with the specified name.
- containsInput(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Checks whether this object contain input signal variable with the specified name.
- containsInput(String) - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Checks whether object contains input variable with the specified name.
- containsInvariant() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
-
Checks whether object contains invariant.
- containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Checks if this model has an output with the specified name.
- containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Checks whether this object contain output signal variable with the specified name.
- containsOutput(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Checks whether this object contain output signal variable with the specified name.
- containsOutput(String) - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Checks whether interface object contains output variable with the specified name.
- containsRegister(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Checks whether this object contain register variable with the specified name.
- containsRegister(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Checks whether this object contain register 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.
- containsStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if this EFSM contains states or not.
- containStatements() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Checks whether this statement contains any other embedded statements.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- containsVariable(String) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
-
Checks if the specified variable is stored in this memory.
- containsVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Checks does this object contain the specified variable.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Checks whether object contains a variable with the specified name.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Checks whether object contains a variable with the specified name.
- containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Checks if the specified variable is in this transaction.
- containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Vector
-
Checks if the specified variable is in this vector.
- createState(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.
- createTransition(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.
- CROPPING_TEXT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- CTL_SPEC_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
CTL specification header.
- Efsm - Class in ru.ispras.retrascope.model.efsm
-
The representation of an extended finite state machine.
- Efsm(EfsmModule, String) - Constructor for class ru.ispras.retrascope.model.efsm.Efsm
-
Constructs an empty EFSM with the specified name and parent module.
- Efsm.TransitionWeightBasis - Enum in ru.ispras.retrascope.model.efsm
-
- EfsmEngine - Class in ru.ispras.retrascope.engine.efsm
-
The abstract class for tools which deal with EFSMs.
- EfsmEngine(String, EfsmModelVisitor, EntityType) - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
Constructs an EFSM engine with the specified ID, visitor, and output type.
- EfsmFatePlusTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
-
- EfsmFatePlusTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
-
Constructs a generator.
- EfsmFateTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
-
- EfsmFateTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
-
Constructs a generator.
- EfsmGraphMlPrinter - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
-
EFSM printer to GraphML format.
- EfsmGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
The default constructor.
- EfsmGraphMlVisitor - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
-
EFSM visitor for GraphML printer.
- EfsmGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
Default constructor.
- EfsmModel - Class in ru.ispras.retrascope.model.efsm
-
The ordered container for EFSM modules.
- EfsmModel() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
-
Creates an empty EFSM model.
- EfsmModel(EfsmModule) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
-
Creates an EFSM model containing the specified EFSM module.
- EfsmModel(Collection<EfsmModule>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
-
Creates an EFSM model containing the specified EFSM modules.
- EfsmModelDefaultVisitor - Class in ru.ispras.retrascope.model.efsm
-
Default visitor for EfsmModel.
- EfsmModelDefaultVisitor() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- EfsmModelVisitor - Interface in ru.ispras.retrascope.model.efsm
-
The interface for EFSM model visitors.
- EfsmModelWalker - Class in ru.ispras.retrascope.model.efsm
-
- EfsmModelWalker(EfsmModelVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModelWalker
-
Constructs a walker for the specified visitor.
- EfsmModule - Class in ru.ispras.retrascope.model.efsm
-
The EFSM representation of an HDL module.
- EfsmModule(String) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModule
-
Constructs an empty EFSM module.
- EfsmModuleState - Class in ru.ispras.retrascope.model.efsm
-
A state of an extended finite state machine module.
- EfsmModuleState(Collection<State>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModuleState
-
Constructs an EFSM module state on the basis of states of the module's components.
- EfsmModuleVisitor - Interface in ru.ispras.retrascope.model.efsm
-
The interface for EFSM module visitors.
- EfsmModuleWalker - Class in ru.ispras.retrascope.model.efsm
-
- EfsmModuleWalker(EfsmModuleVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModuleWalker
-
Constructs a walker for the specified visitor.
- EfsmSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
-
- EfsmSimulator() - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Creates a simulator.
- EfsmState - Class in ru.ispras.retrascope.model.efsm
-
A state of an extended finite state machine.
- EfsmState(Node) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmState
-
Constructs a state represented by the specified expression.
- EfsmTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test
-
The test generator engine for EFSM-based hardware models.
- EfsmTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
-
Constructs a generator.
- EfsmTransition - Class in ru.ispras.retrascope.model.efsm
-
The guarded action-based representation of a transition of an extended finite state machine.
- EfsmTransition(EfsmState, EfsmState, GuardedAction) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Constructs a transition between the specified states with the specified guarded action.
- EfsmTransitionAssertExtractor - Class in ru.ispras.retrascope.engine.efsm.extractor.assertion
-
Engine that extracts transition assertions from EFSM models.
- EfsmTransitionAssertExtractor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
Default constructor.
- EfsmTransitionAssertVisitor - Class in ru.ispras.retrascope.engine.efsm.extractor.assertion
-
Visitor for EfsmTransitionAssertExtractor.
- EfsmTransitionAssertVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- EfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
-
The abstract class representing an heuristic for choosing EFSM transitions to traverse.
- EfsmTransitionChooser() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
-
- EfsmTransitionCoverage - Class in ru.ispras.retrascope.result.test.efsm
-
The representation of a transition-based coverage of an EFSM.
- EfsmTransitionCoverage() - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Constructs an empty coverage.
- EfsmTransitionCoverage(Efsm) - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Constructs a new coverage representation for the specified EFSM.
- EfsmTransitionCoverage(EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Constructs a new coverage as a copy of the specified coverage.
- EfsmUtils - Class in ru.ispras.retrascope.model.efsm
-
Utility methods for extended finite state machine model and it's components.
- EfsmVisitor - Interface in ru.ispras.retrascope.model.efsm
-
The interface for EFSM visitors.
- EfsmWalker - Class in ru.ispras.retrascope.model.efsm
-
The EFSM walker.
- EfsmWalker(EfsmVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Constructs an EFSM walker for the specified visitor.
- enableCycleDependencies - Static variable in class ru.ispras.retrascope.basis.EngineRegistry
-
Enables/disables cycle dependencies between engines.
- enableGuardedAction(GuardedAction, EventList, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Generates an input vector to enable the specified guarded action considering the specified
fixed events and inputs.
- Engine - Class in ru.ispras.retrascope.basis
-
This is a base class of an engine (tool) that transforms one
Entity
entity to another.
- Engine(String) - Constructor for class ru.ispras.retrascope.basis.Engine
-
Constructs an engine.
- Engine(String, EntityType, EntityType) - Constructor for class ru.ispras.retrascope.basis.Engine
-
Constructs an engine.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
-
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
Engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
-
The engine ID of all EfsmTestGenerator
instances.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
-
The engine ID of all EfsmFateTestGenerator
instances.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
-
The engine ID of all EfsmFateTestGenerator
instances.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
The engine identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
The engine ID of all EfsmSimulator
instances.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
The engine ID.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
The engine ID.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
-
The engine ID.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
The engine ID of all TestVhdlTestbenchPrinter
instances.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
-
The entity identifier.
- ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
-
The engine identifier.
- ENGINE_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
-
- EngineEventHandler - Interface in ru.ispras.retrascope.basis
-
This is an engine event handler interface.
- EngineRegistry - Class in ru.ispras.retrascope.basis
-
This class implements an
Engine
engine registry.
- EngineRegistry() - Constructor for class ru.ispras.retrascope.basis.EngineRegistry
-
- Entity - Class in ru.ispras.retrascope.basis
-
This is a base class of an entity, which is a collection of data that can be processed by some
Engine
engine(s).
- Entity(EntityType) - Constructor for class ru.ispras.retrascope.basis.Entity
-
Constructs an entity with a given type.
- ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.test.Sequence
-
The entity type ID of all Sequence
instances.
- EntityType - Class in ru.ispras.retrascope.basis
-
This class represents an entity identifier.
- equals(Object) - Method in class ru.ispras.retrascope.basis.Engine
-
- equals(Object) - Method in class ru.ispras.retrascope.basis.Entity
-
- equals(Object) - Method in class ru.ispras.retrascope.basis.EntityType
-
- equals(Object) - Method in class ru.ispras.retrascope.basis.FileNames
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.Event
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.EventList
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.Range
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
- equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
- equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Action
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Compares the specified object with this state for equality.
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Compares the specified object with this transition for equality.
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- equals(Object) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- equals(Object) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
- equals(Object) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Compares the specified object with this coverage for equality.
- equals(Object) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Compares the specified object with this sequence for equality.
- equals(Object) - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
- equals(Object) - Method in class ru.ispras.retrascope.result.test.Test
-
Compares the specified object with this test for equality.
- equals(Object) - Method in class ru.ispras.retrascope.result.test.TestModel
-
- equals(Object) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Compares the specified object with this transaction for equality.
- equals(Object) - Method in class ru.ispras.retrascope.result.test.Vector
-
Compares the specified object with this vector for equality.
- equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
- ERROR - Static variable in class ru.ispras.retrascope.util.LogLevel
-
The logging level indicating a serious failure.
- Event - Class in ru.ispras.retrascope.model.basis
-
Variable (signal) occurrence.
- Event(RangedVariable, EventType) - Constructor for class ru.ispras.retrascope.model.basis.Event
-
Constructs an object with the specified variable and event type.
- Event(RangedVariable) - Constructor for class ru.ispras.retrascope.model.basis.Event
-
Constructs an object with the specified variable and of any edge event type.
- EventDrivenModule - Interface in ru.ispras.retrascope.model.basis
-
The interface for modules which are driven by some external events (for example, clock or reset
signals).
- EventList - Class in ru.ispras.retrascope.model.basis
-
Collection of events.
- EventList() - Constructor for class ru.ispras.retrascope.model.basis.EventList
-
Default constructor.
- EventList(Event) - Constructor for class ru.ispras.retrascope.model.basis.EventList
-
Constructs object from the specified event object.
- EventList(Set<Event>) - Constructor for class ru.ispras.retrascope.model.basis.EventList
-
Constructs object with the specified events collection.
- eventsToNode(Collection<Event>) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Transforms the specified events container to the node.
- EventType - Enum in ru.ispras.retrascope.model.basis
-
Event types.
- 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.
- getAdditionalFiles() - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
Returns additional files (for example, test pattern and library files) related to this
testbench.
- 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).
- getAscending() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'ascending" field value.
- getAssertions() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns a collection of assertions.
- getAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Returns all assignments.
- getAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Returns all block assignments.
- getAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
-
Returns assignments.
- getAssignments() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns assignments.
- getBase() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'base" field value.
- getBindings() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns bindings.
- getCfgModel() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
Returns constructed CFG model.
- getCfgProcess() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the corresponding CFG process.
- getChecker() - Static method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the checker instance.
- getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the children of the node.
- getClock() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns clock-like variable of the top-level container.
- getClockAssignment(NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates clock assignment.
- 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.CfgLoopStatement
-
Returns loop counter condition.
- 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, Node) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
- 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.assertion.AssertionContainer
-
Returns mapping of names to nested assertion containers.
- getContainerMap() - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Returns assertion containers mapping.
- getCopy() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns a deep copy of the diagram using the specified associated variable.
- getCounterexamples() - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
-
Returns the number of counterexamples generated during model checking.
- getCoverage() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
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.ModuleSimulator
-
- getCoverage(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns a coverage of the specified EFSM.
- getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a test coverage reached during simulation since last reset.
- getCoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all covered transitions in this coverage.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a state of an underlying model which this simulator is currently in.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a state of an underlying EFSM which this simulator is currently in.
- getCycleNumberForAnnotatedInput(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
-
Extracts a cycle number from the specified cycle number-annotated name.
- getDataType(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns data type of the declared variable with the specified name.
- getDataType(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns data type of the declared variable with the specified name.
- getDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns declaration for the variable with the specified name.
- getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns the declaration of the specified variable.
- getDeclarationMap() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Mapping of internal variables names to variable declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns variables declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns variables declarations.
- getDeclaredVariables() - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
-
Returns a collection of declared variables.
- getDefaultDirectory() - Static method in class ru.ispras.retrascope.basis.FileCreator
-
Returns the name of the default directory.
- getDefines() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDefines() - Method in interface ru.ispras.retrascope.model.basis.UseDef
-
Returns a set of defined variables.
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
- 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.Guard
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- 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.cfg.CfgAssertStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- getDescription() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getDestinationState() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the end point of this transition.
- getDestinationStates(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns states which are end points of outgoing transitions of the specified state.
- 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.
- getEngine() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
-
Returns the tool chain to be used.
- 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).
- getEquation(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns an equation (nodes[0] == ... == nodes[n - 1])
expression
of the specified nodes.
- getEventList() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns list of object's clock events.
- getEventList() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns an
EventList
associated with this vector.
- getEvents() - Method in class ru.ispras.retrascope.model.basis.EventList
-
Returns a collection of events.
- getExpression(CfgCaseStatement, CfgSwitchStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
- getExpression() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Returns an expression which this state is represented by.
- getExpressions() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns all expressions stored in the node.
- getFormattedName(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
- getFullName() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns a full name.
- getGroupMap() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns mapping of names to nested assertion groups.
- getGuard() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns guard.
- getGuardedAction() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a guarded action of this transition.
- getHigh() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'high" attribute value.
- 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.cfg.CfgStatement
-
Returns unique node identifier in string form.
- 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
-
- getId() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
Returns unique string identifier of this object.
- getIncomingTransitions(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns transitions which ends at the specified state.
- getIncrement() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter incrementation assignment.
- getInit() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter initialization assignment.
- getInitialEfsms() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns top-level initial EFSMs of this EFSM module.
- getInitialState() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns an initial state of this model.
- getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns an initial state of this EFSM.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns initial value of the declared variable with the specified name.
- getInitialValue() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
-
Returns initial value of declared variable.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns initial value of the declared variable with the specified name.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getInitVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Returns initial visitor.
- getInnerDataType(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns a data type of the specified inner variable of this model.
- getInnerDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of the specified inner variables of this model.
- getInnerDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of all inner variables of this model.
- getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a collection of inner variables' names.
- getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getInputDataType(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns a data type of the specified input variable of this model.
- getInputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of the specified input variables of this model.
- getInputDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of all input variables of this model.
- getInputNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns a collection of names of the declared input signal variables.
- getInputNames() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns a collection of names of the declared input signal variables.
- getInputs() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns all the variables, that are of input signal type,
or empty collection, if there are no such.
- getInputs() - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Returns input signals.
- getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the input types of the engine (i.e., the types of input entities).
- getInputVarDeclareSection(Map<NodeVariable, VariableDeclaration>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a IVAR declaration section in SMV format from a collection of input variables.
- getInstanceName() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns instance name.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns invariant of the declared variable with the specified name.
- getInvariant() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
-
Returns variable invariant.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns invariant of the declared variable with the specified name.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getLastTraversedTransition() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
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).
- 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.
- getMandatoryInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
-
- 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.
- getMax() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the upper bound of the range.
- getMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Returns meta-information of the specified type.
- getMetaInfo(String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Returns meta-information of the specified type.
- getMetaInfo() - Method in class ru.ispras.retrascope.model.basis.MetaInfo
-
Returns all the meta-information.
- getMin() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the lower bound of the range.
- getMode() - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
- getModel() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
-
- getModule() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
- 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.
- getModules() - Method in class ru.ispras.retrascope.model.cfg.CfgModel
-
Returns internal modules.
- getModules() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns sub-modules.
- getModules() - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
-
Returns EFSM modules of this EFSM model.
- getModules() - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
Returns the containing modules.
- getName() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
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() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns name.
- getName() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns a name of this EFSM.
- getName() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns this module's name.
- getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns name of this object.
- getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns object's name.
- getNearVariableContainer(CfgStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns variable declaration container that is closest to the specified statement.
- getNearVariableContainer(CfgStatement, CfgStatementType) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns closest declaration container of the specified type to the specified statement.
- getNestedModules() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns nested EFSM modules of this EFSM container.
- getNestedModules() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Returns the nested modules of this module.
- 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.
- 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.
- getOld() - Method in class ru.ispras.retrascope.model.basis.Range
-
Returns old index.
- getOnlyExpression() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the only expression stored in the node.
- 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.
- 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.
- getOutgoingTransitions(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns transitions which starts at the specified state.
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Returns engine output entity.
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
- getOutput() - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
Returns an output entity of this engine.
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
Returns object's output.
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
- getOutputDataType(String) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns a data type of the specified output of this model.
- getOutputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of the specified output variables of this model.
- getOutputDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns data types of all output signals of this model.
- getOutputNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns a collection of names of the declared output signal variables.
- getOutputNames() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns a collection of names of the declared output signal variables.
- getOutputs() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns all variables that are of output signal type,
or empty collection, if there are no such.
- getOutputs() - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Returns output signals.
- getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the output type of the engine (i.e., the type of output entities).
- getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a collection of output variables' names.
- getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- 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.SmvLogParser
-
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.cfg.CfgStatement
-
Returns parent statement.
- getParent() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns parent module for this one.
- getParent() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the parent of the node.
- getParent() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns parent container.
- getParent() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns parent container.
- getParentContainer() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns parent container of this EFSM.
- 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.
- getPredicates() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
Returns collection of guard predicates.
- getProcesses() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Returns processes.
- getProcesses() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
Returns the processes of this module.
- getProcessId() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the process id.
- getRange() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns range.
- 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 variable.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns a collection of names of the declared register variables.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns a collection of names of the declared register variables.
- 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.
- getResetVariable() - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
-
Returns reset-like variable for this object.
- 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.
- getReverseRange() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'reverse_range" field value.
- 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.
- getRun(String[]) - Static method in class ru.ispras.retrascope.Retrascope
-
Analyzes the command line and returns the run information.
- getSensitivityList() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- 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.
- 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.
- getSequencesAmount() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns an amount 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.
- getSignal(String) - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
-
Returns signal variable that is in this interface object and has the specified name.
- 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
-
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getSources() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
-
Returns the sources entities to be analyzed.
- getSourceState() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the start point of this transition.
- getSourceStates(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns states which are start points of incoming transitions of the specified state.
- getStatement(int) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Returns a child statement of the specified number.
- getStatement(String) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
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.cfg.CfgStatement
-
Returns a number of child statements.
- getStatementNum() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns all states of this EFSM.
- getStatus() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- getStatus() - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- getStatus() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- getStatus() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
Returns the current status of the visitor.
- 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.
- getSuccessors(CfgStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns statements that go after the specified statement.
- 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).
- getTerminalNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the terminal nodes.
- getTestbenches() - Method in class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
-
Returns list of model testbenches.
- getTestbenches() - Method in class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
-
Returns model testbenches.
- 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.
- getTransactions() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns all transactions included in this vector.
- 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.SmvLogParser
-
Returns the number of true specifications after model checking.
- 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() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns 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.CfgModule
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Returns statement type.
- 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.
- getTypeConvertion(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.
- getUncoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all uncovered transitions in this coverage.
- getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns names of variables that are used in this object.
- getUsedVariables(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns the variables which are used in the specified Node
.
- getUses() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getUses() - Method in interface ru.ispras.retrascope.model.basis.UseDef
-
Returns a set of used variables.
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- getUsesByAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Action
action.
- getUsesByGuard() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Guard
condition.
- 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(String) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
-
Returns a value of the specified variable.
- getValue(String) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Returns a value of the specified variable from this transaction.
- getValue(String) - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns a value of the specified variable from this vector.
- getValues() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns possible values of the parameter.
- getValues() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- getValues() - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
-
Returns a values of all stored variables.
- 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, VariableDeclaration>, 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.model.basis.Assignment
-
Returns defined variable.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns variable.
- getVariable(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns declared variable with specified name.
- getVariable(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns declared variable with specified name.
- getVariable() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the associated variable.
- getVariableContainer(CfgStatement, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns node that contains a declaration of variable with the specified name.
- getVariableDeclaration(NodeVariable, VariableDeclaration, SmvExprPrinter, String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a variable declaration in SMV format.
- getVariableName() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns variable name.
- getVariableNames() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns a collection of this object variables names.
- getVariables() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Returns declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Returns declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the corresponding 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.
- getVariableValue(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getVector(int) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Returns a vector with the specified index from this sequence.
- getVectors() - Method in class ru.ispras.retrascope.result.test.Sequence
-
Returns a list containing all vectors of this sequence.
- getVectorsAmount() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns an amount of vectors which this test consists of.
- getVisited() - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Returns a collection of identifiers for statements that are already visited.
- getVisitor() - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Returns visitor.
- getVisitor() - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
Returns the current visitor.
- getWalkers() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Return engine walkers.
- getYoung() - Method in class ru.ispras.retrascope.model.basis.Range
-
Returns young index.
- goToNextStatement() - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Next statement for walking choosing method.
- GraphMlUtils - Class in ru.ispras.retrascope.engine.basis
-
GraphML utils.
- Guard - Class in ru.ispras.retrascope.model.efsm
-
Boolean condition that consists of some predicates.
- Guard() - Constructor for class ru.ispras.retrascope.model.efsm.Guard
-
Default constructor.
- 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(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified guard condition and action.
- Identifiable - Interface in ru.ispras.retrascope.model.basis
-
Object that can be characterized by it string identifier and printed
in some text format.
- IgBinaryMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
-
Mapping between IG binary operation identifiers
and standard operation identifiers that are supported.
- IgSubprogramMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
-
Mapping between IG subprogram identifiers and standard operation identifiers that are supported.
- include(EfsmTransitionCoverage) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Includes the specified coverage to this coverage.
- indexOf(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Returns index of the specified statement.
- INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
-
The logging level for informational messages.
- initFile(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
Create GraphML file with the specified name.
- initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
Initialize visitor with the graphML file name.
- initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
Initializes visitor with the GraphML file name.
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
Initialises this EFSM engine with the specified inputs.
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Initializes engine with the specified inputs.
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
- initialize(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Initializes object with the specified file name.
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
- innerVariablesMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- INPUT_TYPE - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
-
The engine's input entity type.
- INPUT_VALUES - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
- INPUT_VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Input variable declaration section header.
- inputsMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- instantiate(String, Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Instantiates this object with the specified name and bindings.
- Instantiated - Interface in ru.ispras.retrascope.model.basis
-
- INTEGER_SIZE - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
The size of integer type.
- IntegerRange - Class in ru.ispras.retrascope.model.basis
-
This class represents a non-empty integer range (interval).
- IntegerRange(BigInteger, BigInteger) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
-
Constructs a range with the given lower (min
) and upper (max
) bounds.
- IntegerRange(BigInteger) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
-
Constructs a single-value range.
- IntegerRange(long, long) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
-
Constructs a range with the given lower (min
) and upper (max
) bounds.
- IntegerRange(long) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
-
Constructs a single-value range.
- IntegerRange.RangePointType - Enum in ru.ispras.retrascope.model.basis
-
This enumeration contains types of range bounds.
- intersect(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the intersection of this range with the given one.
- isCompatible(Event) - Method in class ru.ispras.retrascope.model.basis.Event
-
Checks whether this object is compatible with the specified one.
- isConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Checks whether object contains only concurrent assignments.
- isCovered(EfsmTransition) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Checks if the specified transition is covered.
- isDefault() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns case statement default type.
- isDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Shows whether the node is a default node.
- isEmpty() - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is empty.
- isEmpty() - Method in class ru.ispras.retrascope.result.test.Transaction
-
Checks if this transaction is empty.
- isEmpty() - Method in class ru.ispras.retrascope.result.test.Vector
-
Checks if this vector is empty.
- isFull() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Tests if this coverage is full, that is, there are no uncovered transitions.
- isFull() - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Tests if this coverage is full.
- isImmediateAssignment() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Shows whether the HLDD implements an immediate assignment.
- isInitial() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
Checks whether process is of initial kind.
- isInitialized() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Checks whether all the object's fields are not null
.
- isInputDeclared(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if the specified input declared either in this EFSM or in its parent module.
- isInputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Checks whether the specified identifier is of input or input-output signal type.
- isOutputDeclared(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if the specified output declared either in this EFSM or in its parent module.
- isOutputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Check whether the specified identifier is of input-output or output type.
- isRanged() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Checks whether this is ranged.
- isReachable(EfsmState, EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if there is a path from the specified source state to the specified destination state.
- isRegister(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Check whether the specified identifier is of register type.
- isRegisterDeclared(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if the specified register declared either in this EFSM or in its parent module.
- isRoot() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Shows whether the node is a root node.
- isSat(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified expression is satisfiable.
- isSensible(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Checks that the specified event is in the object's clock collection.
- isSensible(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Checks if this guarded action is sensible to the specified events.
- isSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Checks whether identifier is of signal type.
- isSingular() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether the range is singular (consists of a single value: min == max
).
- isStatus(CfgVisitor.Status) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Checks rather this walker object has the specified status value.
- isSynchronous() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks if this EFSM is synchronous, that is, contains at least one event-sensible guarded
action.
- isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.Event
-
Checks whether this object is triggered by the specified one.
- isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is always triggered along with the specified argument.
- isType(CfgStatementType) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Checks whether this statement is of specified type.
- isType(CfgStatementType, CfgStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Checks whether the specified nodes are of the specified type.
- onActivityBegin(VerilogActivity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onActivityEnd(VerilogActivity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onAssertBegin(CfgAssertStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onAssertBegin(CfgAssertStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
-
- onAssertEnd(CfgAssertStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onAssertEnd(CfgAssertStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onAssertionGroup(AssertionGroup) - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Notifies that group object has been visited.
- onAssignBegin(VerilogAssign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssignEnd(VerilogAssign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssignmentActionBegin(Action) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onAssignmentActionBegin(Action) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified assignment action has been started.
- onAssignmentActionEnd(Action) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onAssignmentActionEnd(Action) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified assignment action has been finished.
- onAssignmentBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onAssignmentBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onAssignmentBegin(Assignment) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onAssignmentBegin(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified assign statement has been started.
- onAssignmentBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting an assignment node.
- onAssignmentBegin(VerilogAssignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssignmentEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onAssignmentEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onAssignmentEnd(Assignment) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onAssignmentEnd(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified assign statement has been finished.
- onAssignmentEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting an assignment node.
- onAssignmentEnd(VerilogAssignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssignStatementBegin(VerilogAssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAssignStatementEnd(VerilogAssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAttributeBegin(VerilogAttribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onAttributeEnd(VerilogAttribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onBasicBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onBasicBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onBasicBlockBegin(CfgBlockStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onBasicBlockBegin(CfgBlockStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
-
- onBasicBlockEnd(CfgBlockStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onBasicBlockEnd(CfgBlockStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onBlockGenerateBegin(VerilogBlockGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onBlockGenerateEnd(VerilogBlockGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onBlockStatementBegin(VerilogBlockStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onBlockStatementEnd(VerilogBlockStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseBegin(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- onCaseBegin(CfgCaseStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onCaseBegin(CfgCaseStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onCaseEnd(CfgCaseStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- onCaseEnd(CfgCaseStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onCaseEnd(CfgCaseStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onCaseGenerateBegin(VerilogCaseGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseGenerateEnd(VerilogCaseGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseGenerateItemBegin(VerilogCaseGenerateItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseGenerateItemEnd(VerilogCaseGenerateItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseStatementBegin(VerilogCaseStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseStatementEnd(VerilogCaseStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseStatementItemBegin(VerilogCaseStatementItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCaseStatementItemEnd(VerilogCaseStatementItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCfgModelBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onCfgModelBegin() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onCfgModelBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
- onCfgModelEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onCfgModelEnd() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onCfgModelEnd() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
- onCodeBegin(VerilogCode) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onCodeEnd(VerilogCode) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onConditionBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onConditionBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onConditionBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting a condition node.
- onConditionEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onConditionEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onConditionEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting a condition node.
- onContainerBegin(AssertionContainer) - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Starts visiting of the specified container object.
- onContainerEnd(AssertionContainer) - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Finishes visiting of the specified container object.
- onDeclarationBegin(VerilogDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onDeclarationEnd(VerilogDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onDelayedStatementBegin(VerilogDelayedStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onDelayedStatementEnd(VerilogDelayedStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onDisableStatementBegin(VerilogDisableStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onDisableStatementEnd(VerilogDisableStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onEfsmBegin(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- onEfsmBegin(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmBegin(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmBegin(Efsm) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM has been started.
- onEfsmEnd(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmEnd(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmEnd(Efsm) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM has been finished.
- onEfsmModelBegin(EfsmModel) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- onEfsmModelBegin(EfsmModel) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmModelBegin(EfsmModel) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmModelBegin(EfsmModel) - Method in interface ru.ispras.retrascope.model.efsm.EfsmModelVisitor
-
Indicates that a walker has started walking across the specified EFSM model.
- onEfsmModelEnd(EfsmModel) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmModelEnd(EfsmModel) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmModelEnd(EfsmModel) - Method in interface ru.ispras.retrascope.model.efsm.EfsmModelVisitor
-
Indicates that a walker has finished walking across the specified EFSM model.
- onEfsmModuleBegin(EfsmModule) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- onEfsmModuleBegin(EfsmModule) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmModuleBegin(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmModuleBegin(EfsmModule) - Method in interface ru.ispras.retrascope.model.efsm.EfsmModuleVisitor
-
Indicates that a walker has started walking across the specified EFSM module.
- onEfsmModuleEnd(EfsmModule) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- onEfsmModuleEnd(EfsmModule) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onEfsmModuleEnd(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEfsmModuleEnd(EfsmModule) - Method in interface ru.ispras.retrascope.model.efsm.EfsmModuleVisitor
-
Indicates that a walker has finished walking across the specified EFSM module.
- onEntityBegin(AssertionEntity) - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Starts visiting of the specified entity object.
- onEntityEnd(AssertionEntity) - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Finishes visiting of the specified entity object.
- onEvent(Event) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onEvent(Event) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates encounter of the specified event.
- onEvent(Event) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has encountered the specified event.
- onEventListBegin(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has started walking across the specified event list.
- onEventListEnd(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that walker has finished walking across the specified event list.
- onExpression(Node) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onExpression(Node) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified expression has been started.
- onGenerateBegin(VerilogGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onGenerateEnd(VerilogGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onGraphBegin(PrintWriter, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Print the graph open tag.
- onGraphBegin(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Print the graph open tag.
- onGraphEnd(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Print the graph open tag.
- onGraphMlBegin(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Print the GraphML title tag to GraphML file.
- onGraphMlEnd(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Print the GraphML close tag to GraphML file.
- onGuardBegin(Guard) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onGuardBegin(Guard) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified guard has been started.
- onGuardedActionBegin(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onGuardedActionBegin(GuardedAction) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified guarded action has been started.
- onGuardedActionEnd(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onGuardedActionEnd(GuardedAction) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified guarded action has been finished.
- onGuardEnd(Guard) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onGuardEnd(Guard) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified guard has been finished.
- onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onHlddBegin(Hldd) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onHlddBegin(Hldd) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onHlddEnd(Hldd) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onHlddEnd(Hldd) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onHlddEnd(Hldd) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onIfGenerateBegin(VerilogIfGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfGenerateBranchBegin(VerilogIfGenerateBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfGenerateBranchEnd(VerilogIfGenerateBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfGenerateEnd(VerilogIfGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfStatementBegin(VerilogIfStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfStatementBranchBegin(VerilogIfStatementBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfStatementBranchEnd(VerilogIfStatementBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onIfStatementEnd(VerilogIfStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onInstantiationBegin(VerilogInstantiation) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onInstantiationEnd(VerilogInstantiation) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onLoopBegin(CfgLoopStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onLoopBegin(CfgLoopStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onLoopBegin(CfgLoopStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onLoopEnd(CfgLoopStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onLoopEnd(CfgLoopStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onLoopEnd(CfgLoopStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
-
- onLoopGenerateBegin(VerilogLoopGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onLoopGenerateEnd(VerilogLoopGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onLoopStatementBegin(VerilogLoopStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onLoopStatementEnd(VerilogLoopStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onModelBegin(HlddModel) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onModelBegin(HlddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onModelBegin(HlddModel) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting a model.
- onModelEnd(HlddModel) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onModelEnd(HlddModel) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onModelEnd(HlddModel) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting a model.
- onModuleBegin(CfgModule) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onModuleBegin(HlddModule) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onModuleBegin(HlddModule) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onModuleBegin(CfgModule) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onModuleBegin(CfgModule) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onModuleBegin(HlddModule) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onModuleBegin(CfgModule) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
-
- onModuleBegin(CfgModule) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
-
- onModuleBegin(CfgModule) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
- onModuleBegin(VerilogModule) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onModuleEnd(HlddModule) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onModuleEnd(HlddModule) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onModuleEnd(CfgModule) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onModuleEnd(CfgModule) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onModuleEnd(HlddModule) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onModuleEnd(CfgModule) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
-
- onModuleEnd(VerilogModule) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onNodeBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onNodeBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onNodeBegin(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onNodeBegin(CfgStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onNodeBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting a node.
- onNodeEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onNodeEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onNodeEnd(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onNodeEnd(CfgStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onNodeEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting a node.
- onNullStatementBegin(VerilogNullStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onNullStatementEnd(VerilogNullStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPathDeclarationBegin(VerilogPathDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPathDeclarationEnd(VerilogPathDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPortBegin(VerilogPort) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPortConnectionBegin(VerilogPortConnection) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPortConnectionEnd(VerilogPortConnection) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPortEnd(VerilogPort) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onProcedureBegin(VerilogProcedure) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onProcedureEnd(VerilogProcedure) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onProcessBegin(CfgProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onProcessBegin(CfgProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
- onProcessBegin(HlddProcess) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onProcessBegin(HlddProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onProcessBegin(CfgProcess) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onProcessBegin(CfgProcess) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onProcessBegin(HlddProcess) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onProcessBegin(CfgProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
-
- onProcessBegin(CfgProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
- onProcessEnd(CfgProcess) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onProcessEnd(HlddProcess) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onProcessEnd(HlddProcess) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onProcessEnd(CfgProcess) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onProcessEnd(CfgProcess) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onProcessEnd(HlddProcess) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
- onProcessEnd(CfgProcess) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
-
- onPulseStyleBegin(VerilogPulseStyle) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onPulseStyleEnd(VerilogPulseStyle) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
- onRootBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onRootBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onRootBegin() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onRootBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
Notifies that processing has been started.
- onRootBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting the root node of a
Hldd
.
- onRootBegin() - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Notifies that visiting process has been started.
- onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
- onRootEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onRootEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onRootEnd() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onRootEnd() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
Notifies that processing has been finished.
- onRootEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting the root node of a
Hldd
.
- onRootEnd() - Method in interface ru.ispras.retrascope.result.assertion.AssertionVisitor
-
Notifies that visiting process has been finished.
- onSequenceBegin(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has started walking across the specified sequence.
- onSequenceEnd(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has finished walking across the specified sequence.
- onSetProgress(Engine, int) - Method in interface ru.ispras.retrascope.basis.EngineEventHandler
-
It is called when an engine updates the progress.
- onShowCancelledBegin(VerilogShowCancelled) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onShowCancelledEnd(VerilogShowCancelled) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onSpecifyBegin(VerilogSpecify) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onSpecifyEnd(VerilogSpecify) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onStateBegin(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onStateBegin(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onStateBegin(EfsmState) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM state has been started.
- onStateEnd(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onStateEnd(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onStateEnd(EfsmState) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM state has been finished.
- onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onSwitchBegin(CfgSwitchStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onSwitchBegin(CfgSwitchStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
-
- onSwitchEnd(CfgSwitchStatement) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CgaaFilterPathBackend
-
- onSwitchEnd(CfgSwitchStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onSwitchEnd(CfgSwitchStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onTableBegin(VerilogTable) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTableEnd(VerilogTable) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTableEntryBegin(VerilogTableEntry) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTableEntryEnd(VerilogTableEntry) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTaskStatementBegin(VerilogTaskStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTaskStatementEnd(VerilogTaskStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTestBegin(Test) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has started walking across the specified test.
- onTestEnd(Test) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has finished walking across the specified test.
- onTransactionBegin(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has started walking across the specified transaction.
- onTransactionEnd(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has finished walking across the specified transaction.
- onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
- onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onTransitionBegin(EfsmTransition) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM transition has been started.
- onTransitionEnd(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelDefaultVisitor
-
- onTransitionEnd(EfsmTransition) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Indicates that processing of the specified EFSM transition has been finished.
- onTriggerStatementBegin(VerilogTriggerStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onTriggerStatementEnd(VerilogTriggerStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onValueBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onValueBegin(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onValueBegin(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Starts visiting a value node.
- onValueEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
-
- onValueEnd(HlddNode) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- onValueEnd(HlddNode) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
-
Finishes visiting a value node.
- onVariable(String, Node) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has encountered the specified variable.
- onVectorBegin(Vector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has started walking across the specified vector.
- onVectorEnd(Vector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
-
Indicates that a walker has finished walking across the specified vector.
- onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onWaitBegin(CfgWaitStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onWaitBegin(CfgWaitStatement) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
- onWaitEnd(CfgWaitStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
-
- onWaitEnd(CfgWaitStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
-
- onWaitStatementBegin(VerilogWaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- onWaitStatementEnd(VerilogWaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
The command line parameters.
- OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
The command line parameters.
- OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
The output GraphML-file-name command line parameter.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
The engine output entity type.
- OUT_TYPE - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
-
The output entity type.
- outputsMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- overlaps(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether this range overlaps with the given one (rhs
).
- OVERWRITE_EXISTING_FILES_PARAMETER - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- select(Collection<IntegerRange>, IntegerRange) - Static method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Selects all ranges from the the given collection that are within the given bounds.
- 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 isEmpty sequence.
- Sequence(int) - Constructor for class ru.ispras.retrascope.result.test.Sequence
-
Constructs an isEmpty sequence with the specified initial capacity of an underlying collection
of vectors.
- Sequence(EventList, List<Vector>) - Constructor for class ru.ispras.retrascope.result.test.Sequence
-
Constructs a sequence of the specified vectors with the specified events.
- 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.
- setAscending(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized ascending field.
- 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.
- setBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
-
Sets bindings.
- setCfgProcess(CfgProcess) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Sets the corresponding CFG process.
- setClock(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Sets the specified variable as a clock-like for the top-level container.
- setCommandLine(String[]) - Method in class ru.ispras.retrascope.basis.Arguments
-
Parses the given command line.
- setConcurrent(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Sets the concurrent flag to the specified value.
- setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Sets loop counter condition.
- setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Sets new Node
condition.
- setDec() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Sets decimal bit vector printing 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.HlddNode
-
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.
- setEdgeStyle(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Sets GraphML edges style.
- setExprPrinter(ExprTreePrinter) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Sets expression printer.
- 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.
- 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.
- setIncrement(Assignment) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Sets loop counter incrementation assignment.
- setInit(Assignment) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Sets loop counter initialization assignment
- setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Marks the specified state of this EFSM as an initial state.
- setInstanceName(String) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Sets instance name.
- 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.
- setMax(BigInteger) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Sets the upper bound of the range.
- setMin(BigInteger) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Sets the lower bound of the range.
- setModule(CfgModule) - Method in class ru.ispras.retrascope.model.hldd.HlddModule
-
- setNuSmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuSMV checker.
- setNuXmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuXMV checker.
- setOutputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Sets the given output type of the engine.
- setParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- setParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
- setParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- setParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
-
Sets the specified statement as parent.
- setParent(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Sets the specified module as parent for this one.
- setParent(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the specified
HlddNode
as the parent node.
- setPrintWriter(PrintWriter) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Sets print writer.
- setProcessId(String) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Sets the process id.
- setProgress(int) - Method in class ru.ispras.retrascope.basis.Engine
-
Sets the engine progress.
- setRange(Range) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Sets new range.
- 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.assertion.AssertionVariableContainer
-
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.
- setRoot(boolean) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the value of a root flag.
- setRootNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets the root node.
- setSensitivityList(EventList) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
- setSignalInterface(CfgInterface) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
-
- setSpecType(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- setType(CfgLoopStatement.Type) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Sets loop type.
- setType(HlddNode.NodeType) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the type of the node.
- 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
-
- setValue(String, NodeValue) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
-
Sets a variable with the specified name to the specified value.
- setValues(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- setValues(Map<String, NodeValue>) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
-
Sets variables with the specified names to the specified values.
- 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.
- setVariablesMapping(Map<NodeVariable, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
-
Adds declared variables to the existing declarations.
- setVisitor(HlddVisitor) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
Sets the current visitor.
- setWalker(CfgWalker) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- setWalkers(CfgWalker...) - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
-
Sets the specified walker sequence.
- shift(int) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the shifted variant of this range ([min + value, max + value]
).
- signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
-
- simulatedModel - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- Simulator<T extends VariableContainer> - 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.
- Simulator.SimulationSnapshot - Class in ru.ispras.retrascope.engine.basis
-
The snapshot of simulation.
- Simulator.SimulationSnapshot() - Constructor for class ru.ispras.retrascope.engine.basis.Simulator.SimulationSnapshot
-
- 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.
- size() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the size of the range.
- SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
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.
- 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.
- SmvLogParser - Class in ru.ispras.retrascope.engine.smv.test.parser
-
This class is used to parse a SMV log file and construct a
Test
object.
- SmvLogParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
-
Constructs a new parser object.
- 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.
- SmvPrinterUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This class contains static methods for *.smv file printing.
- 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.
- standardize(Node) - 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.cfg.CfgEngine
-
- 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(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
- 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.EfsmSimulator
-
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.hldd.printer.smv.HlddSmvPrinter
-
- 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.vhdl.TestVhdlTestbenchPrinter
-
- start(CfgModel) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Starts control flow graph model walking.
- start(EfsmModel) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelWalker
-
Performs walking across the specified EFSM model.
- start(EfsmModule) - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleWalker
-
Performs walking across the specified EFSM container.
- start(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Performs walking across the specified EFSM.
- start(HlddModel) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
Starts walking a model.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
-
- start(AssertionEntity) - Method in class ru.ispras.retrascope.result.assertion.AssertionWalker
-
Starts walking of the specified entity.
- start(Test) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Performs walking across the specified test.
- start(EngineEventHandler) - Method in class ru.ispras.retrascope.Retrascope.ToolRun
-
Starts the tool chain with the given source entities.
- 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_VARIABLES - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
State-like variables names command line parameter.
- 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<CfgStatement>, 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.
- substituteBackward(List<? extends AssignmentContainer>, Node) - Static method in class ru.ispras.retrascope.engine.basis.TransformUtils
-
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.
- substitutePower(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Searches for power operations in the node and replaces them by arithmetic left shift operation.
- substituteVariables(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- 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.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.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.IntegerRange.RangePointType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.MetaInfoType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.MetaInfoValue
-
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.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.cfg.CfgVisitor.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.walker.CfgWalkerMode
-
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.
- 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.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.IntegerRange.RangePointType
-
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.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.model.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.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.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.cfg.CfgVisitor.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.cfg.walker.CfgWalkerMode
-
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.
- VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Variable declaration section header.
- VariableContainer - Class in ru.ispras.retrascope.model.basis
-
Variable declarations container.
- VariableContainer() - Constructor for class ru.ispras.retrascope.model.basis.VariableContainer
-
Default constructor.
- VariableDeclaration - Class in ru.ispras.retrascope.model.basis
-
Variable declaration.
- VariableDeclaration(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.VariableDeclaration
-
Constructs an object with the specified initial value and it's invariant.
- 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.
- VariableType - Enum in ru.ispras.retrascope.model.basis
-
Variable types.
- Vector - Class in ru.ispras.retrascope.result.test
-
The representation of an input/output vector of variables.
- Vector() - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs an empty vector.
- Vector(Transaction) - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs a vector containing the specified transaction.
- Vector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs a vector containing the specified transactions and events.
- VerilogCfgBuilder - Class in ru.ispras.retrascope.parser.verilog
-
This class creates CfgModel from Verilog AST provided by Verilog Translator.
- VerilogCfgBuilder() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
-
- 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
-
The representation of a VHDL testbench.
- VerilogTestbenchModel(List<Testbench>) - Constructor for class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
-
Constructs object with the specified testbenches.
- 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
-
The representation of a VHDL testbench.
- VhdlTestbenchModel(List<Set<Testbench>>) - Constructor for class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
-
Constructs object with the specified testbenches.
- visitAssignment(Assignment) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified assignment.
- visitAssignmentAction(Action) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified assignment action.
- visitEvent(Event) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified event.
- visitEvent(Event) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits the specified event.
- visitEventList(EventList) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits the specified eventList.
- visitExpression(Node) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified expression.
- visitGuard(Guard) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified guard.
- visitGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified guarded action.
- visitNode(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
-
Visits the specified node.
- visitor - Variable in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
- visitSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits the specified sequence.
- visitState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified state.
- visitTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits the specified transaction.
- visitTransition(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
-
Visits the specified transition.
- visitVariable(String, Node) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits a variable with the specified name and value.
- visitVector(Vector) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Visits the specified vector.
- 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.