A B C D E F G H I J L M N O P R S T U V W 

A

Action - Class in ru.ispras.retrascope.model.efsm
Sequence of Assignment statements.
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
Adds the specified HlddModule to the model.
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
 

B

Backend - Class in ru.ispras.retrascope.basis
The after-engine component.
Backend() - Constructor for class ru.ispras.retrascope.basis.Backend
 
backtrack(List<EfsmTransition>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Backtracks the specified path performing symbolic substitutions and returns an expression with cycle number-annotated variables that must be satisfied in order to traverse the path.
BitVectorOpCodeMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
Mapping between logic and bit-vector operation identifiers.

C

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.

D

data - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
deannotateInputs(Iterable<Variable>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Analyses cycle number-annotated variables and returns mappings between cycle numbers and corresponding variables' values.
deannotateName(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
Deannotates the specified cycle number-annotated name.
DEBUG - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for information for debugging.
DeciderLikeTestPatternPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench
The class for printing tests to files in the DECIDER-like manner.
declareNewVariable(DataType) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Declares new variable of the specified data type.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares non-existing variable.
declareVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified variable with the specified invariant.
declareVariable(NodeVariable, Node, Node) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified variable with the specified initial value and the specified invariant.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Declares non-existing variable.
declareVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Declares the specified variable with the specified invariant.
declareVariable(NodeVariable, Node, Node) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Declares the specified variable with the specified initial value and the specified invariant.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
Adds the specified variable to the internal collection of declared variables.
declareVariables(Map<NodeVariable, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified collection of variables.
declareVariables(Map<NodeVariable, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Declares the specified collection of variables.
declareVariables(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
Add all the variables of the specified collection to internal declared variables.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Event
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Range
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Returns a copy of this statement and all it's sub-statements.
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
DEFINE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Definition section header.
defines(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine defines an entity of the given type.
divide(Collection<IntegerRange>) - Static method in class ru.ispras.retrascope.model.basis.IntegerRange
Transforms the collection of ranges to the list of disjoint ranges.

E

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
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
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
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
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
The walker for the EfsmModel class.
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
The walker for the EfsmModule class.
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
The simulator for EfsmModel.
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.

F

FALSE - Static variable in class ru.ispras.retrascope.util.SolverUtils
The "false" syntax node.
FileCreator - Class in ru.ispras.retrascope.basis
This class implements utility methods for creating files (with engine results).
FileNames - Class in ru.ispras.retrascope.basis
This class represents a collection of file names.
FileNames(String) - Constructor for class ru.ispras.retrascope.basis.FileNames
Constructs a file names entity for a given type.
fillExpression(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Fills the specified expression with the specified inputs and current values of inner variables.
FONT_BOLD - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FONT_BOLDITALIC - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FONT_ITALIC - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FONT_PLAIN - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORBIDDEN_NAMES - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
SMV language reserved words.
FORM_DIAMOND - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_ELLIPSE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_OCTAGON - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_PARALLELOGRAM - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_RECTANGLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRAPEZOID - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRAPEZOID2 - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORM_TRIANGLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
 
FORMAT - Static variable in class ru.ispras.retrascope.Retrascope
 
FULL_COVERAGE_PERCENTAGE - Static variable in class ru.ispras.retrascope.result.test.TestCoverage
The number representing full coverage percentage, that is, BigDecimal.valueOf(100).

G

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
Returns the description of a constraint in SMV format using the given SmvExprPrinter.ConstraintType and Node.
getConstraintDescription(SmvExprPrinter.ConstraintType, Collection<Node>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Returns the description of a constraint in SMV format using the given SmvExprPrinter.ConstraintType and the collection of nodes.
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
Constructs an expression from the expression of the specified switch CfgSwitchStatement node and it's possible values in the specified case CfgCaseStatement node.
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
Returns the internal CfgModel model.
getModule() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
Returns the corresponding CFG CfgModule.
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
Returns EventList sensitivity list.
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.

H

hasArgument() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether an argument is required after the parameter.
hasBackEnds() - Method in class ru.ispras.retrascope.basis.Engine
Returns true if engine has back-ends, false otherwise.
hasDeclared(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
Checks whether this object contains the specified variable as declared.
hasDeclaringAncestor(Efsm, NodeVariable) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Checks whether the specified EFSM (or it's ancestor) declares the specified variable.
hashCode() - Method in class ru.ispras.retrascope.basis.Engine
 
hashCode() - Method in class ru.ispras.retrascope.basis.Entity
 
hashCode() - Method in class ru.ispras.retrascope.basis.EntityType
 
hashCode() - Method in class ru.ispras.retrascope.basis.FileNames
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Event
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.EventList
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.MetaInfo
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Range
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Action
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
hashCode() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
 
hashCode() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Sequence
 
hashCode() - Method in class ru.ispras.retrascope.result.test.SequenceModel
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Test
 
hashCode() - Method in class ru.ispras.retrascope.result.test.TestModel
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Transaction
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Vector
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
HashMapMemory - Class in ru.ispras.retrascope.model.basis.memory
The hash map-based store of variables.
HashMapMemory(Collection<String>) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs an empty (values of variables are equal to null) hash map-based store of variables.
HashMapMemory(HashMapMemory) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs hash map-based store of variables as a copy of the specified HashMapMemory instance.
hasInnerVariable(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with inner variable that has the specified name.
hasInnerVariable(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
hasInput(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with input variable that has the specified name.
hasInput(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
hasMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Checks whether object contains meta-information of the specified predefined type.
hasMetaInfo(String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Checks whether object contains meta-information for the specified user-defined type.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
Checks if there is at least one non-chosen transition now.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearestUncoveredEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
 
hasOperation(StandardOperation) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.BitVectorOpCodeMapper
Checks whether operation is supported.
hasOperation(IGOperationBinary.BinOp) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgBinaryMapper
Checks whether operation is supported.
hasOperation(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
Checks whether operation is supported.
hasOutput(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Checks rather this operates with output variable that has the specified name.
hasOutput(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
hasParent() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Checks whether this statement has parent statement.
hasResetVariable() - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
Checks whether this object declares reset-like variable.
hasSuccessors(CfgStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Checks whether the specified statement has successors or not.
HdlParser - Class in ru.ispras.retrascope.parser.basis
HDL parser basic class.
HdlParser(String) - Constructor for class ru.ispras.retrascope.parser.basis.HdlParser
Constructs parser with the specified identifier.
help(String) - Method in class ru.ispras.retrascope.basis.Parameters
Prints the help message.
HELP_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
Hldd - Class in ru.ispras.retrascope.model.hldd
This class represents a High-Level Decision Diagram (HLDD) of a variable assignment function.
Hldd(NodeVariable) - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD using the specified variable.
Hldd(NodeVariable, Collection<HlddNode>) - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD using the specified values.
Hldd() - Constructor for class ru.ispras.retrascope.model.hldd.Hldd
Constructs a new HLDD.
HlddModel - Class in ru.ispras.retrascope.model.hldd
This class represents a HlddModel which consists of HlddModules, HlddProcesses and Hldds.
HlddModel() - Constructor for class ru.ispras.retrascope.model.hldd.HlddModel
Constructs a new model entity.
HlddModel(Collection<HlddModule>) - Constructor for class ru.ispras.retrascope.model.hldd.HlddModel
Constructs a new model entity using the specified collection of modules.
HlddModule - Class in ru.ispras.retrascope.model.hldd
This class represents a module of a HLDD model.
HlddModule() - Constructor for class ru.ispras.retrascope.model.hldd.HlddModule
Constructs a new module.
HlddModule(CfgModule, Collection<HlddProcess>) - Constructor for class ru.ispras.retrascope.model.hldd.HlddModule
Constructs a new module and sets the specified data.
HlddNode - Class in ru.ispras.retrascope.model.hldd
This class represents a node of a high-level decision diagram (HLDD).
HlddNode(HlddNode, HlddNode.NodeType, Node) - Constructor for class ru.ispras.retrascope.model.hldd.HlddNode
Constructs a new node.
HlddNode(HlddNode, HlddNode.NodeType, Collection<? extends Node>) - Constructor for class ru.ispras.retrascope.model.hldd.HlddNode
Constructs a new node.
HlddNode(HlddNode, HlddNode.NodeType) - Constructor for class ru.ispras.retrascope.model.hldd.HlddNode
Constructs a new node.
HlddNode(HlddNode.NodeType) - Constructor for class ru.ispras.retrascope.model.hldd.HlddNode
Constructs a new node.
HlddNode.NodeType - Enum in ru.ispras.retrascope.model.hldd
Type of a node.
HlddOptimizationVisitor - Class in ru.ispras.retrascope.engine.cgaa.transformer.hldd
This class represents a visitor which is used to optimize a visited HLDD.
HlddOptimizationVisitor() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.hldd.HlddOptimizationVisitor
 
HlddProcess - Class in ru.ispras.retrascope.model.hldd
This class represents a process of a HLDD model.
HlddProcess() - Constructor for class ru.ispras.retrascope.model.hldd.HlddProcess
Constructs a new process.
HlddSmvPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv
This engine prints the HLDD model as a NuXMV file.
HlddSmvPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
Constructs a new printer object.
HlddSmvVisitor - Class in ru.ispras.retrascope.engine.hldd.printer.smv
This class represents a visitor which contains SMV printing methods.
HlddSmvVisitor(String) - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
Constructs a new visitor and creates a new *.smv file.
HlddVisitor - Interface in ru.ispras.retrascope.model.hldd
This class represents the HlddModel visitor interface.
HlddWalker - Class in ru.ispras.retrascope.model.hldd
Hldd model walker.
HlddWalker(HlddVisitor) - Constructor for class ru.ispras.retrascope.model.hldd.HlddWalker
Constructs a new walker object.

I

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.

J

JaxbEvent - Class in ru.ispras.retrascope.model.basis.jaxb
The representation of Event suitable for JAXB marshalling and unmarshalling.
JaxbEvent() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
JaxbEventAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of Event objects.
JaxbEventAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
JaxbEventList - Class in ru.ispras.retrascope.model.basis.jaxb
The class for mediation during JAXB marshalling/unmarshalling of events.
JaxbEventList() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbEventListAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of EventList objects.
JaxbEventListAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
jaxbEvents - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbVariableMapXmlAdapter - Class in ru.ispras.retrascope.result.test.jaxb
The adapter class for JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
JaxbVariableMapXmlAdapter.JaxbVariableList - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter.JaxbVariableList() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 
JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
jaxbVariables - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList
 

L

loadSnapshot(Simulator<T>.SimulationSnapshot) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Restores a simulation state from the specified snapshot.
loadSnapshot(ModuleSimulator.ModuleSimulationSnapshot) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
TODO: add javadoc here
loadSnapshot(ProcessSimulator.ProcessSimulationSnapshot) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
TODO: add Javadoc here
Log - Class in ru.ispras.retrascope.util
This class implements logging facilities.
LOG_LEVEL - Static variable in class ru.ispras.retrascope.Retrascope
 
LOG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
LOGGER - Static variable in class ru.ispras.retrascope.engine.basis.Simulator
 
LogLevel - Class in ru.ispras.retrascope.util
The class containing Retrascope logging levels.
LogLevel(String, int) - Constructor for class ru.ispras.retrascope.util.LogLevel
Create a named logging level with a given integer value.
LogMessage - Enum in ru.ispras.retrascope.util
Utility class for logger messages.
LOOP_LIMIT_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
 
LTL_SPEC_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
LTL specification header.

M

main(String[]) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
main(String[], EngineEventHandler) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
makeException(Enum<?>, Object) - Static method in exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Creates an exception object with message containing the specified prefix and an information about the specified object.
makeMessage(Enum<?>, Object) - Static method in enum ru.ispras.retrascope.util.LogMessage
Creates message string with the specified prefix and the specified data stored in object.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a snapshot representing a current state of the simulation.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
makeSubstitutions(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Performs the following substitutions on the specified Node: Substitutes a power operation by an arithmetic left shift operation.
MapUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
This class contains static methods for proper MAP data type printing.
markTransitionAsCovered(EfsmTransition) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
Marks the specified transition as covered.
marshal(Event) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
marshal(EventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
marshal(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
Memory - Interface in ru.ispras.retrascope.model.basis.memory
The interface for a store of variables.
merge(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the union of this range with the given one.
MetaInfo - Class in ru.ispras.retrascope.model.basis
Meta-information storage.
MetaInfo() - Constructor for class ru.ispras.retrascope.model.basis.MetaInfo
Default constructor.
MetaInfoType - Enum in ru.ispras.retrascope.model.basis
Predefined meta-information types.
MetaInfoValue - Enum in ru.ispras.retrascope.model.basis
Predefined meta-information values.
minimise(Map<Sequence, EfsmTransitionCoverage>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser
Minimises the specified set of sequences by excluding redundant (in terms of coverage) sequences.
minus(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the list of ranges representing the difference between this range and the given one.
Model - Class in ru.ispras.retrascope.model.basis
The abstract representation of a device model encapsulating only a static structure of an original device.
Model() - Constructor for class ru.ispras.retrascope.model.basis.Model
 
MODULE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Announces module declaration.
ModuleSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
A simulator for EfsmModule.
ModuleSimulator(EfsmModule) - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
Constructs a simulator for the specified EFSM module.
ModuleSimulator.ModuleSimulationSnapshot - Class in ru.ispras.retrascope.engine.efsm.simulator
 

N

name - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter.JaxbVariableList.JaxbVariable
 
NearestUncoveredEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a "nearest uncovered transition" priority-based heuristic for choosing a transitions to traverse.
NearestUncoveredEfsmTransitionChooser(Efsm, EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearestUncoveredEfsmTransitionChooser
Creates a new NearestUncoveredEfsmTransitionChooser for the specified EFSM and its coverage.
NEW_VAR_PREFIX - Static variable in class ru.ispras.retrascope.model.basis.VariableContainer
Prefix for new variables that are created by the tool.
NEW_VAR_PREFIX - Static variable in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Prefix for new variables that are created by the tool.
newFile(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Creates a new file with the given name.
newWalker(CfgVisitor, CfgWalkerMode) - Static method in class ru.ispras.retrascope.model.cfg.walker.CfgWalkerFactory
Creates control flow graph model walker with the specified parameters.
NodeUtils - Class in ru.ispras.retrascope.util
Utility methods for Node objects.
NodeUtils() - Constructor for class ru.ispras.retrascope.util.NodeUtils
 
NUXMV_LOG_FILE - Static variable in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
NuXMV log file name.

O

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
Starts visiting CfgAssertStatement node.
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
Finishes visiting CfgAssertStatement node.
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
Starts visiting CfgBlockStatement node.
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
Finishes visiting CfgBlockStatement node.
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
Starts visiting CfgCaseStatement node.
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
Finishes visiting CfgCaseStatement node.
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
Starts visiting CfgModel object.
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
Finishes visiting CfgModel object.
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
Starts visiting Hldd.
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
Finishes visiting Hldd.
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
Starts visiting CfgLoopStatement node.
onLoopEnd(CfgLoopStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onLoopEnd(CfgLoopStatement) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgLoopStatement node.
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
Starts visiting CfgModule node.
onModuleBegin(HlddModule) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting HlddModule.
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
Finishes visiting CfgModule node.
onModuleEnd(HlddModule) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting HlddModule.
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
Starts visiting CfgStatement node.
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
Finishes visiting CfgStatement node.
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
Starts visiting CfgProcess node.
onProcessBegin(HlddProcess) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Starts visiting HlddProcess.
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
Finishes visiting CfgProcess node.
onProcessEnd(HlddProcess) - Method in interface ru.ispras.retrascope.model.hldd.HlddVisitor
Finishes visiting HlddProcess.
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
Starts visiting CfgSwitchStatement node.
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
Finishes visiting CfgSwitchStatement node.
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
Starts visiting CfgWaitStatement node.
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
Finishes visiting CfgWaitStatement node.
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
 

P

Parameter - Class in ru.ispras.retrascope.basis
This class represents a specification of a command line parameter.
Parameter(String, boolean, String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
Parameter(String, String[], String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
PARAMETERS - Static variable in class ru.ispras.retrascope.basis.Configuration
The configuration parameters.
Parameters - Class in ru.ispras.retrascope.basis
This class represents a specification of command line parameters.
Parameters() - Constructor for class ru.ispras.retrascope.basis.Parameters
 
PARAMETERS - Static variable in class ru.ispras.retrascope.Retrascope
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
Parses input entities.
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.verilog.VerilogParser
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 
parse(String) - Static method in class ru.ispras.retrascope.util.LogLevel
Parse a level name string into a Level.
parseAssignment(VerilogAssignment, VerilogAssignStatement.Type, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Processes assignments of different types.
parseCheckerLog(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
Parses checker output for run statistics.
parseCommandLine(String[]) - Method in class ru.ispras.retrascope.basis.Engine
Parses the command line.
parseCommandLine(String[]) - Method in class ru.ispras.retrascope.basis.Parameters
Parses the command line.
parseCounterexamples(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
Parses a file for counterexamples.
parseSpecifications(String) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvLogParser
Parses a file for specification statistics.
print(String, CfgModel) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Print the control flow graph to GraphML file.
print(String, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
Prints the specified EfsmModel model to GraphML file.
print(Sequence, Path, Set<String>, boolean) - Static method in class ru.ispras.retrascope.engine.test.printer.testbench.DeciderLikeTestPatternPrinter
Prints the specified sequence to the specified file.
print(Level, String) - Static method in class ru.ispras.retrascope.util.Log
Prints the message with the specified logging level.
PRINT_STYLE_PARAM - Static variable in class ru.ispras.retrascope.basis.Configuration
The predefined parameters.
printDebug(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the debug logging level.
printEdge(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge to GraphML file.
printEdge(PrintWriter, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge with label to GraphML file.
printEdge(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print edge with the specified parameters to GraphML file.
printEdge(PrintWriter, String, String, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Prints edge with the specified parameters to GraphML file.
printError(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the error logging level.
printGroup(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print group node with this label.
printGroup(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print group node with this label, form, color to GraphML file.
printInfo(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the info logging level.
printIntsAsBv() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Enables integer printing as 32-bit vector.
printIntsNormal() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
Disables integer printing as 32-bit vector.
printMaps(SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Returns the description of data arrays in SMV format.
printNode(PrintWriter, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node.
printNode(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node with this label, form, color to GraphML file.
printNode(PrintWriter, String, String, String, String, boolean) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
Print node with this cropping label, form, color to GraphML file.
printWarn(String) - Static method in class ru.ispras.retrascope.util.Log
Prints the specified message at the warning logging level.
processChildren(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.walker.CfgWalker
Process child statements of the specified one.
processEvents(EventList) - Method in interface ru.ispras.retrascope.model.basis.EventDrivenModule
Notifies this module of the specified events occurrence.
processOption(String, ListIterator) - Method in class ru.ispras.retrascope.basis.Arguments.ExtendedGnuParser
 
ProcessSimulator - Class in ru.ispras.retrascope.engine.efsm.simulator
The EFSM-based representation of a hardware model which encapsulates a runtime state along with a static structure of an original device.
ProcessSimulator(ModuleSimulator, Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Constructs a simulator above the specified EFSM.
ProcessSimulator.ProcessSimulationSnapshot - Class in ru.ispras.retrascope.engine.efsm.simulator
TODO: add Javadoc here
product(Efsm...) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Constructs a synchronous composition from a list of EFSMs.

R

RandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a random-based heuristic for choosing a transitions to traverse.
RandomEfsmTransitionChooser(Efsm, EfsmState, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
Creates a new RandomEfsmTransitionChooser for the specified EFSM and its state.
randomiseUnusedInputs(EfsmModule, Vector) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.TestGeneratorUtils
Adds a transaction with randomised inputs to the specified vector.
Range - Class in ru.ispras.retrascope.model.basis
Pair of values.
Range(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.Range
Default constructor.
ranged() - Method in class ru.ispras.retrascope.model.basis.Assignment
Checks whether this object contains a defining to ranged variable.
RangedVariable - Class in ru.ispras.retrascope.model.basis
Variable or it's sub-part restricted by the specified range.
RangedVariable(NodeVariable) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable.
RangedVariable(NodeVariable, Range) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable and it's range.
RangedVariableUtils - Class in ru.ispras.retrascope.model.basis
Utility methods for ranged variable class.
readVector(Vector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
 
remove(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes an event on the specified variable.
remove(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Removes the specified value from this case statement.
remove(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Removes the specified statement from children.
remove(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
 
remove(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
 
removeAll() - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Removes all the child statements.
removeAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Removes all assignments.
removeAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
Removes all block assignments.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.cfg.CfgDeclarationStatement
Removes declaration of variable with the specified name.
removeFromChildren(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
Removes the specified parent node from children.
removeMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Removes information of the specified type.
removeParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
 
removeParent(CfgStatement) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Removes link with the specified statement.
removeProcesses() - Method in class ru.ispras.retrascope.model.cfg.CfgModule
Remove internal processes.
removeStatement(String) - Method in class ru.ispras.retrascope.model.cfg.CfgStatement
Remove nested statement with the specified identifier.
removeValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
Removes all values of this case statement.
removeWhitespace(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
Removes two symbols from the end of the string.
replace(CfgStatement, CfgStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Replaces the first statement by the second statement.
reset() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Resets this generator.
reset() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Resets this simulator, that is, returns it at the same state as it had immediately after construction.
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
Resets this simulator, that is, returns it to an uninitialised state.
reset() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
reset() - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Sets all variables of this memory to the same values as they had immediately after the memory construction.
reset() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
reset() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Resets this coverage to the initial state.
resetCoverage() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Resets a test coverage achieved by this simulator.
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
 
resetCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
 
resetInputs() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Sets all inputs of this simulator to their initial values.
resetMapCounter() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Resets data maps counter.
resetMaps() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
Resets MAP data type container.
Retrascope - Class in ru.ispras.retrascope
The main class of the project.
Retrascope.ToolRun - Class in ru.ispras.retrascope
The tool run information.
Retrascope.ToolRun(ToolChain, Map<EntityType, Entity>) - Constructor for class ru.ispras.retrascope.Retrascope.ToolRun
Constructs a tool run.
Retrascope.ToolRun() - Constructor for class ru.ispras.retrascope.Retrascope.ToolRun
Construct a tool run with unspecified tool chain.
RetrascopeRuntimeException - Exception in ru.ispras.retrascope.basis.exception
The unchecked exception to be thrown by Retrascope components to indicate an occurrence of a programmatic error which is not addressed by the default RuntimeException subclasses.
RetrascopeRuntimeException(String) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message.
RetrascopeRuntimeException(String, Throwable) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message and root exception.
RetrascopeRuntimeException(Exception) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception that incapsulates the specified one.
RST_DELAY - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Delay in ticks through which the reset signal should be kept active for completed resetting.
RST_LVL - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Active level of reset signal.
RST_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Name of reset signal.
ru.ispras.retrascope - package ru.ispras.retrascope
 
ru.ispras.retrascope.basis - package ru.ispras.retrascope.basis
 
ru.ispras.retrascope.basis.exception - package ru.ispras.retrascope.basis.exception
 
ru.ispras.retrascope.engine.basis - package ru.ispras.retrascope.engine.basis
 
ru.ispras.retrascope.engine.cfg - package ru.ispras.retrascope.engine.cfg
 
ru.ispras.retrascope.engine.cfg.extractor.iface - package ru.ispras.retrascope.engine.cfg.extractor.iface
 
ru.ispras.retrascope.engine.cfg.generator.test.random - package ru.ispras.retrascope.engine.cfg.generator.test.random
 
ru.ispras.retrascope.engine.cfg.printer.graphml - package ru.ispras.retrascope.engine.cfg.printer.graphml
 
ru.ispras.retrascope.engine.cfg.printer.graphml.depend - package ru.ispras.retrascope.engine.cfg.printer.graphml.depend
 
ru.ispras.retrascope.engine.cfg.transformer.cgaa - package ru.ispras.retrascope.engine.cfg.transformer.cgaa
 
ru.ispras.retrascope.engine.cgaa.printer.graphml - package ru.ispras.retrascope.engine.cgaa.printer.graphml
 
ru.ispras.retrascope.engine.cgaa.transformer.efsm - package ru.ispras.retrascope.engine.cgaa.transformer.efsm
 
ru.ispras.retrascope.engine.cgaa.transformer.hldd - package ru.ispras.retrascope.engine.cgaa.transformer.hldd
 
ru.ispras.retrascope.engine.efsm - package ru.ispras.retrascope.engine.efsm
 
ru.ispras.retrascope.engine.efsm.extractor.assertion - package ru.ispras.retrascope.engine.efsm.extractor.assertion
 
ru.ispras.retrascope.engine.efsm.generator.test - package ru.ispras.retrascope.engine.efsm.generator.test
 
ru.ispras.retrascope.engine.efsm.generator.test.fate - package ru.ispras.retrascope.engine.efsm.generator.test.fate
 
ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction - package ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
 
ru.ispras.retrascope.engine.efsm.printer.graphml - package ru.ispras.retrascope.engine.efsm.printer.graphml
 
ru.ispras.retrascope.engine.efsm.simulator - package ru.ispras.retrascope.engine.efsm.simulator
 
ru.ispras.retrascope.engine.hldd.printer.smv - package ru.ispras.retrascope.engine.hldd.printer.smv
 
ru.ispras.retrascope.engine.hldd.printer.smv.utils - package ru.ispras.retrascope.engine.hldd.printer.smv.utils
 
ru.ispras.retrascope.engine.smv.launcher - package ru.ispras.retrascope.engine.smv.launcher
 
ru.ispras.retrascope.engine.smv.test.parser - package ru.ispras.retrascope.engine.smv.test.parser
 
ru.ispras.retrascope.engine.test.printer.testbench - package ru.ispras.retrascope.engine.test.printer.testbench
 
ru.ispras.retrascope.engine.test.printer.testbench.vhdl - package ru.ispras.retrascope.engine.test.printer.testbench.vhdl
 
ru.ispras.retrascope.model.basis - package ru.ispras.retrascope.model.basis
 
ru.ispras.retrascope.model.basis.jaxb - package ru.ispras.retrascope.model.basis.jaxb
 
ru.ispras.retrascope.model.basis.memory - package ru.ispras.retrascope.model.basis.memory
 
ru.ispras.retrascope.model.cfg - package ru.ispras.retrascope.model.cfg
 
ru.ispras.retrascope.model.cfg.walker - package ru.ispras.retrascope.model.cfg.walker
 
ru.ispras.retrascope.model.cgaa - package ru.ispras.retrascope.model.cgaa
 
ru.ispras.retrascope.model.efsm - package ru.ispras.retrascope.model.efsm
 
ru.ispras.retrascope.model.hldd - package ru.ispras.retrascope.model.hldd
 
ru.ispras.retrascope.parser.basis - package ru.ispras.retrascope.parser.basis
 
ru.ispras.retrascope.parser.basis.backend - package ru.ispras.retrascope.parser.basis.backend
 
ru.ispras.retrascope.parser.verilog - package ru.ispras.retrascope.parser.verilog
 
ru.ispras.retrascope.parser.vhdl - package ru.ispras.retrascope.parser.vhdl
 
ru.ispras.retrascope.parser.vhdl.mapper - package ru.ispras.retrascope.parser.vhdl.mapper
 
ru.ispras.retrascope.result.assertion - package ru.ispras.retrascope.result.assertion
 
ru.ispras.retrascope.result.cfginterface - package ru.ispras.retrascope.result.cfginterface
 
ru.ispras.retrascope.result.test - package ru.ispras.retrascope.result.test
 
ru.ispras.retrascope.result.test.efsm - package ru.ispras.retrascope.result.test.efsm
 
ru.ispras.retrascope.result.test.jaxb - package ru.ispras.retrascope.result.test.jaxb
 
ru.ispras.retrascope.result.testbench - package ru.ispras.retrascope.result.testbench
 
ru.ispras.retrascope.util - package ru.ispras.retrascope.util
 
runBackEnds(Entity) - Method in class ru.ispras.retrascope.basis.Engine
Runs all the back-ends that were added to this engine.
runChecker(String, String...) - Method in class ru.ispras.retrascope.util.SmvChecker
Runs the checker using the specified arguments.

S

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
Sets the corresponding CFG CfgModule.
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
Sets new EventList sensitivity list.
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.

T

TARGET_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
Test - Class in ru.ispras.retrascope.result.test
The representation of a test.
Test() - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs an empty test.
Test(List<Sequence>) - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs a test containing the specified list of sequences.
TEST_LEN - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Generated test sequence length.
TEST_SEED - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
Random seed value.
Testbench - Class in ru.ispras.retrascope.result.testbench
The representation of an abstract testbench.
Testbench(Path, Set<Path>) - Constructor for class ru.ispras.retrascope.result.testbench.Testbench
Constructs a new testbench with the specified testbench file and additional files (for example, test pattern and library files).
TESTBENCH_DIRECTORY_PARAMETER - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
TestCoverage - Class in ru.ispras.retrascope.result.test
The representation of an abstract test coverage.
TestCoverage() - Constructor for class ru.ispras.retrascope.result.test.TestCoverage
 
TestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an abstract test generator.
TestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.TestGenerator
 
TestGeneratorEngine - Class in ru.ispras.retrascope.engine.basis
The abstract class for engines of the test generator type.
TestGeneratorEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.TestGeneratorEngine
Creates an engine with the specified ID and type of a tested entity as input type.
TestGeneratorUtils - Class in ru.ispras.retrascope.engine.efsm.generator.test
The utility class for EFSM test generators.
TestGeneratorUtils() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.TestGeneratorUtils
 
TestMinimiser - Class in ru.ispras.retrascope.engine.efsm.generator.test
The class which performs test minimisation.
TestModel - Class in ru.ispras.retrascope.result.test
The ordered container for tests.
TestModel() - Constructor for class ru.ispras.retrascope.result.test.TestModel
Constructs an empty test model.
TestVhdlTestbenchPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench.vhdl
The engine that makes VHDL testbenches from tests.
TestVhdlTestbenchPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
Creates a new TestVhdlTestbenchPrinter instance.
TestVisitor - Interface in ru.ispras.retrascope.result.test
The interface for test visitors.
TestWalker - Class in ru.ispras.retrascope.result.test
The walker for the Test class.
TestWalker(TestVisitor) - Constructor for class ru.ispras.retrascope.result.test.TestWalker
Constructs a walker for the specified visitor.
toBasicBlock() - Method in class ru.ispras.retrascope.model.efsm.Action
Transforms to concurrent basic block node.
toCompactString() - Method in enum ru.ispras.retrascope.model.basis.EventType
Returns compact string representation.
toNode() - Method in class ru.ispras.retrascope.model.efsm.Guard
Convert guard expression into Node expression.
TOOL_DEBUG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
ToolChain - Class in ru.ispras.retrascope.basis
This class implements a tool chain, which is an Engine engine composed of smaller ones.
ToolChain(String) - Constructor for class ru.ispras.retrascope.basis.ToolChain
Constructs a tool chain with a given id.
ToolChain() - Constructor for class ru.ispras.retrascope.basis.ToolChain
Constructs a tool chain with the default id.
TOP_LEVEL - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The VHDL top-level module name.
toString() - Method in class ru.ispras.retrascope.basis.Arguments
 
toString() - Method in class ru.ispras.retrascope.basis.Engine
 
toString() - Method in class ru.ispras.retrascope.basis.Entity
 
toString() - Method in class ru.ispras.retrascope.basis.EntityType
 
toString() - Method in class ru.ispras.retrascope.basis.FileNames
 
toString() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
toString() - Method in class ru.ispras.retrascope.model.basis.Event
 
toString() - Method in class ru.ispras.retrascope.model.basis.EventList
 
toString() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
 
toString() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
toString() - Method in class ru.ispras.retrascope.model.basis.Range
 
toString() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Action
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
toString() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddModule
 
toString() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
 
toString() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
 
toString() - Method in class ru.ispras.retrascope.result.test.Sequence
 
toString() - Method in class ru.ispras.retrascope.result.test.Test
 
toString() - Method in class ru.ispras.retrascope.result.test.TestCoverage
Returns a string representing this coverage.
toString() - Method in class ru.ispras.retrascope.result.test.Transaction
 
toString() - Method in class ru.ispras.retrascope.result.test.Vector
 
toString() - Method in enum ru.ispras.retrascope.util.LogMessage
 
Transaction - Class in ru.ispras.retrascope.result.test
The class representing a transaction by a set of mappings between names and values of variables.
Transaction() - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction.
Transaction(Map<String, NodeValue>) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs a transaction containing the specified name-value pairs.
Transaction(int) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction with the specified initial capacity of an underlying collection of variable name-value pairs.
TransformerUtils - Class in ru.ispras.retrascope.util
Utility methods for transformation of expressions.
transformNode(Node) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Changes userData type kept in the node from Reference to VariableType.
transformNodeWithRanged(RangedVariable, Node) - Static method in class ru.ispras.retrascope.model.basis.RangedVariableUtils
Transforms the specified node with assistance of the specified ranged variable.
TransformUtils - Class in ru.ispras.retrascope.engine.basis
Utility methods for models transformation.
TRUE - Static variable in class ru.ispras.retrascope.util.SolverUtils
The "true" syntax node.
TYPE - Static variable in class ru.ispras.retrascope.basis.Arguments
 
type - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
TYPE - Static variable in class ru.ispras.retrascope.model.cfg.CfgModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.cgaa.CgaaModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.efsm.EfsmModel
The entity type of all EfsmModel entities.
TYPE - Static variable in class ru.ispras.retrascope.model.hldd.HlddModel
 
TYPE - Static variable in class ru.ispras.retrascope.result.assertion.AssertionEntity
 
TYPE - Static variable in class ru.ispras.retrascope.result.cfginterface.CfgInterface
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.result.test.SequenceModel
The entity type of all SequenceModel instances.
TYPE - Static variable in class ru.ispras.retrascope.result.test.TestModel
The entity type of all TestModel instances.
TYPE - Static variable in class ru.ispras.retrascope.result.testbench.VerilogTestbenchModel
The entity type ID of all VhdlTestbench instances.
TYPE - Static variable in class ru.ispras.retrascope.result.testbench.VhdlTestbenchModel
The entity type ID of all VhdlTestbench instances.

U

UNINIT_STATE - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
An object representing a state based on uninitialised values.
union(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
Returns the list of ranges representing the union of this range with the given one.
unmarshal(JaxbEvent) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
unmarshal(JaxbEventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
unmarshal(JaxbVariableMapXmlAdapter.JaxbVariableList) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
UseDef - Interface in ru.ispras.retrascope.model.basis
Object that uses or/and defines variables.
uses(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine uses an entity of the given type.
usesPredefinedValues() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether the parameter has predefined values only.

V

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.

W

WARNING - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level indicating a potential problem.
A B C D E F G H I J L M N O P R S T U V W