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

A

Action - Class in ru.ispras.retrascope.model.efsm
The "sequence of code statements" action.
Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs an assignment action containing only the specified Assignment assignment.
Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs object from the specified list of assignments.
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(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds event.
add(Entity) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
Adds the specified entity.
add(Entity) - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
Adds the entity.
add(Entity) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
add(Entity) - Method in class ru.ispras.retrascope.result.conflict.ConflictModel
 
add(Entity) - Method in class ru.ispras.retrascope.result.testbench.Test
Adds sequences of the specified test to this test.
addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Adds assignment statement.
addAsSink(CfgNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Substitutes internal default Sink node by other node.
addAsSource(CfgNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Substitutes internal default Source node by other node.
addBackend(Backend) - Method in class ru.ispras.retrascope.basis.Engine
Adds backend.
addBlock(CfgNode) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Simplified adding of CfgNodes into Cfg.
addBlock(CfgNode, EventList, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Add CfgNode (some block, e.g.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Throws an exception.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Adds child node.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Adds the specified node as child.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Adds child node.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Sink
Throws an exception.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Switch
Adds the specified child node.
addConflict(Conflict) - Method in class ru.ispras.retrascope.result.conflict.ConflictModel
Adds a specified conflict to the set.
addConflicts(Collection<Conflict>) - Method in class ru.ispras.retrascope.result.conflict.ConflictModel
Adds a specified collection of conflicts to the set.
addConsoleOutput() - Static method in class ru.ispras.retrascope.util.Log
Adds the console output to the log.
addDeclaration(String, VariableDeclaration) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Adds the variable with the specified name and the specified declaration.
addEfsm(Collection<Efsm>) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
Adds a specified collection to the set.
addEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
Adds a specified EFSM to the set.
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.result.testbench.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.testbench.Vector
Adds the specified events to this vector.
addFileOutput(String) - Static method in class ru.ispras.retrascope.util.Log
Adds the file output to the log.
addInnerVariable(String, DataType) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
addInnerVariable(String, DataType) - Method in class ru.ispras.retrascope.model.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.efsm.Efsm
 
addInput(String, DataType) - Method in class ru.ispras.retrascope.model.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 CfgSignalInterface.
addInvariant(String, Node) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified invariant condition on the value of the specified variable.
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 meta-information as mapping.
addModule(Module) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
Adds the specified module to the model.
addModules(Collection<Module>) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
Adds modules collection.
addNewVariable(DataType) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Creates new variable of the specified data type and adds it to the declarations of this module.
addNode(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Adds control flow graph node.
addNodes(Collection<CfgNode>) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Adds control flow graph nodes collection.
addOutput(String, DataType) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
addOutput(String, DataType) - Method in class ru.ispras.retrascope.model.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.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Case
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Merge
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Adds parent node.
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
addParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Source
Throws exception.
addSequence(Sequence) - Method in class ru.ispras.retrascope.result.testbench.Test
Adds the specified sequence to this test.
addSequences(List<Sequence>) - Method in class ru.ispras.retrascope.result.testbench.Test
Adds the specified sequences to this test.
addState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified state to this EFSM.
addTransaction(Transaction) - Method in class ru.ispras.retrascope.result.testbench.Vector
Adds the specified transaction to this vector.
addValue(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.Case
Adds one more possible value.
addVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Adds variable declaration.
addVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Adds variable declaration.
addVariable(String, NodeValue) - Method in class ru.ispras.retrascope.result.testbench.Transaction
Adds a variable with the specified name and value to this transaction.
addVariable(String, NodeOperation) - Method in class ru.ispras.retrascope.result.testbench.Transaction
Adds a variable with the specified name and value to this transaction.
addVariableVersion(RangedVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Creates a version of already declared variable and adds it to the declarations of this module.
addVector(Vector) - Method in class ru.ispras.retrascope.result.testbench.Sequence
Adds the specified vector to the end of this sequence.
addVectors(List<Vector>) - Method in class ru.ispras.retrascope.result.testbench.Sequence
Adds the specified vectors to the end of this sequence.
append(Cfg) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Appends another control flow graph.
appendAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Appends assignments list to the last assignment of basic block.
applyBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Module
Applies bindings to module's internals.
applyBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Process
Applies bindings to process internals.
applyToCfg(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Applies bindings to control flow graph internals.
applyToEventList(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.EventList
Applies expressions to bounded event variables.
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.
Assignment - Class in ru.ispras.retrascope.model.basis
Assignment statement.
Assignment() - Constructor for class ru.ispras.retrascope.model.basis.Assignment
The default constructor.
Assignment(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified ranged variable and expression.
Assignment(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified non-ranged variable and expression.
AtomicTestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an atomic test generator, that is, test generator operating at the vector-level instead of test-level.
AtomicTestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
 

B

Backend - Class in ru.ispras.retrascope.basis
Backend is a component that should be executed as a component of Engine engine after its main method.
Backend() - Constructor for class ru.ispras.retrascope.basis.Backend
 
backtrack(List<EfsmTransition>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
BasicBlock - Class in ru.ispras.retrascope.model.cfg
Basic block node of process' control flow graph.
BasicBlock(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object of the specified type flag.
BasicBlock(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignments and the type flag.
BasicBlock(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignment and the flag type.
BasicBlock(Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignment and of non-concurrent type.

C

Case - Class in ru.ispras.retrascope.model.cfg
Control flow graph node that keeps condition\case branch.
Case() - Constructor for class ru.ispras.retrascope.model.cfg.Case
The default constructor.
Case(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified possible value.
Case(Set<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified possible values.
Case(Set<NodeValue>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified values and default flag.
Cfg - Class in ru.ispras.retrascope.model.cfg
Control flow graph of some process.
Cfg() - Constructor for class ru.ispras.retrascope.model.cfg.Cfg
The default constructor.
CfgBasicBlockSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
This backend merges BasicBlock basic block nodes, following each other (i.e.
CfgBasicBlockSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
CfgCgaaTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
The transformer of control flow graph model to clocked guarded atomic actions in the form of guarded actions decision diagram (GADD).
CfgCgaaTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
The default constructor.
CfgConcurrentBasicBlockBackend - Class in ru.ispras.retrascope.parser.basis.backend
This backend transforms basic block BasicBlock nodes of concurrent (non-blocking) type into basic blocks of non-concurrent (blocking) type.
CfgConcurrentBasicBlockBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
CfgDfsVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Basic class for control flow graph CfgModel visitors CfgVisitor that are called by walker CfgWalker running at Depth-First-Search walker mode CfgWalkerMode.
CfgDfsVisitorBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.CfgDfsVisitorBackend
 
CfgDfsWrVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Basic class for control flow graph CfgModel visitors CfgVisitor that are called by walker CfgWalker running at Depth-First-Search-Without-Repetitions walker mode CfgWalkerMode.
CfgDfsWrVisitorBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.CfgDfsWrVisitorBackend
 
CfgEngine - Class in ru.ispras.retrascope.engine.cfg
Abstract engine for control flow graph model elaboration.
CfgEngine(String, EntityType, EntityType, CfgVisitor...) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgEngine
Constructs object with the specified identifier, input/output types and visitors.
CfgEngine(String, EntityType, EntityType, CfgVisitorConfig...) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgEngine
Constructs object with the specified identifier, input/output types, visitors configurations.
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
Constructs an CfgPrinter.
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
Constructs a CFG visitor.
CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
Object that stores the information about hardware modules interfaces.
CfgInterface() - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgInterface
The default constructor.
CfgInterfaceExtractor - Class in ru.ispras.retrascope.engine.cfg.extractor.iface
Object that extracts CfgInterface interface from control flow graph CfgModel model.
CfgInterfaceExtractor() - Constructor for class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
Default constructor.
CfgLoopBackend - Class in ru.ispras.retrascope.parser.basis.backend
This backend detects loops or cycles in Cfg control flow graphs and transforms them into acyclic graphs.
CfgLoopBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
CfgMergeSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
This backend merges Merge nodes, following each other (i.e.
CfgMergeSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
CfgModel - Class in ru.ispras.retrascope.model.cfg
Control flow graph model.
CfgModel() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModel
The default constructor.
CfgModelNode - Class in ru.ispras.retrascope.model.cfg
Abstract node of control flow graph model.
CfgModelNode() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModelNode
 
CfgNode - Class in ru.ispras.retrascope.model.cfg
Abstract control flow graph node.
CfgNode() - Constructor for class ru.ispras.retrascope.model.cfg.CfgNode
 
CfgNodeType - Enum in ru.ispras.retrascope.model.cfg
Control flow graph model nodes types.
CfgOneAssignmentProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
This backend merges Process processes, which contain only one BasicBlock basic block node of concurrent type, with only one Assignment assignment, and equal EventList event lists.
CfgOneAssignmentProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
CfgSignalInterface - Class in ru.ispras.retrascope.result.cfginterface
Signal part of module interface CfgInterface.
CfgSignalInterface(List<NodeVariable>, List<NodeVariable>) - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
The default constructor.
CfgSwitchSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
HDL parser backend that optimises sequences of control flow graph model Switch switch nodes.
CfgSwitchSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
CfgVariableContainerNode - Class in ru.ispras.retrascope.model.cfg
Basic abstract class for control flow graph model CfgModel that contains a collection of variable declarations VariableDeclaration and a collection of bindings between internal variables and external expressions.
CfgVariableContainerNode() - Constructor for class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
The default constructor.
CfgVisitor - Interface in ru.ispras.retrascope.model.cfg
Interface to be implemented by all visitor objects applied to a control flow graph model to collect information or to build another representation of the model.
CfgVisitor.Status - Enum in ru.ispras.retrascope.model.cfg
The Status enumeration described possible statuses of the visitor.
CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Base class for Backend back-ends that are based on CfgVisitor control flow graph model visitor.
CfgVisitorBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
 
CfgVisitorConfig - Class in ru.ispras.retrascope.engine.cfg
Object that stores visitor CfgVisitor and walking CfgWalkerMode mode for control flow graph walker CfgWalker.
CfgVisitorConfig(CfgVisitor, CfgWalkerMode) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorConfig
Constructs configuration with the specified visitor and walker mode.
CfgWaitBackend - Class in ru.ispras.retrascope.parser.basis.backend
 
CfgWaitBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
CfgWalker - Class in ru.ispras.retrascope.model.cfg
Control flow graph model walker.
CfgWalker(CfgVisitor) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWalker
The default constructor.
CfgWalker(CfgVisitor, CfgWalkerMode) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWalker
Constructs object with the specified visitor and mode.
CfgWalkerMode - Enum in ru.ispras.retrascope.model.cfg
Modes of control flow graph model CfgModel walker CfgWalker.
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.
CgaaGraphMlPrinter - Class in ru.ispras.retrascope.engine.cgaa.printer.graphml
Clocked guarded atomic actions model CgaaModel printer to GraphML format.
CgaaGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
Constructs GraphML printer object.
CgaaModel - Class in ru.ispras.retrascope.model.cgaa
A clocked guarded atomic actions model.
CgaaModel(CfgModel) - Constructor for class ru.ispras.retrascope.model.cgaa.CgaaModel
The default constructor.
childNode - Variable in class ru.ispras.retrascope.model.cfg.CfgNode
 
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 Event events.
clearStatements() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Removes all block statements.
close() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
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.result.graphml.GraphMlUtils
Close graphml file.
COLOR_BLUE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_GREEN - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_ORANGE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_PURPLE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_RED - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_WHITE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
COLOR_YELLOW - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
 
conditionMet(Object) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.SearchCondition
Checks whether the stop condition is reached.
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.
Conflict - Class in ru.ispras.retrascope.result.conflict
Represents the conflict of two Models.
Conflict(Model, Model, NodeVariable, Conflict.Types, List<GuardedAction>) - Constructor for class ru.ispras.retrascope.result.conflict.Conflict
Constructs EfsmConflict using the specified values.
Conflict() - Constructor for class ru.ispras.retrascope.result.conflict.Conflict
 
Conflict.Types - Enum in ru.ispras.retrascope.result.conflict
 
ConflictModel - Class in ru.ispras.retrascope.result.conflict
Represents the result of EfsmConflictExtractor engine execution.
ConflictModel() - Constructor for class ru.ispras.retrascope.result.conflict.ConflictModel
Constructs the ConflictModel class.
ConflictModel(Collection<Conflict>) - Constructor for class ru.ispras.retrascope.result.conflict.ConflictModel
Constructs the ConflictModel class using the specified set of conflicts.
ConflictXmlPrinter - Class in ru.ispras.retrascope.engine.conflict.printer.xml
This engine prints conflicts acquired by the EfsmConflictExtractor to an XML file.
ConflictXmlPrinter() - Constructor for class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
 
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 rather event is in this class.
contains(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks rather object contains an event with the specified variable.
containsInnerVariable(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsInnerVariable(String) - Method in class ru.ispras.retrascope.model.Model
Checks if this model has an inner variable with the specified name.
containsInput(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsInput(String) - Method in class ru.ispras.retrascope.model.Model
Checks if this model has an input with the specified name.
containsInvariant(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if this EFSM contains an invariant condition on the specified variable.
containsOutput(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsOutput(String) - Method in class ru.ispras.retrascope.model.Model
Checks if this model has an output 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.
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.cfg.CfgVariableContainerNode
Checks does this module contain the specified variable.
containsVariable(String) - Method in class ru.ispras.retrascope.result.testbench.Transaction
Checks if the specified variable is in this transaction.
containsVariable(String) - Method in class ru.ispras.retrascope.result.testbench.Vector
Checks if the specified variable is in this vector.
containsVariables(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
containsVariables(Collection<String>) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Checks if the specified variables are stored in this memory.
createState(NodeOperation) - 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.result.graphml.GraphMlUtils
 

D

data - Variable in class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariable
 
deannotateInputs(Iterable<Variable>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
deannotateName(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
deannotateName(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
DEBUG - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for information for debugging.
DeciderLikeTestPatternPrinter - Class in ru.ispras.retrascope.engine.testbench
The class for printing tests to files in the DECIDER-like manner.
deepcopy() - Method in class ru.ispras.retrascope.model.basis.Assignment
Creates a deep copy of the current object.
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.BasicBlock
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Case
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns a copy of this node.
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Module
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Process
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Source
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
deepcopy() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
defines(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine defines an entity of the given type.
DepthFirstSearchPathfinder - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs
 
DepthFirstSearchPathfinder(Efsm, EfsmTransition, int) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
DirectedFateGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The FATE test generator which deals with single EFSM and operates at the vector-level.
DirectedFateGenerator(Efsm, int, Map<EfsmTransition, Set<ReachabilityInformation>>) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Constructs a test generator for the specified EFSM with the specified parameters.
DirectedFatePlusGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The FATE test generator which deals with single EFSM and operates at the vector-level.
DirectedFatePlusGenerator(Efsm, int, Map<EfsmTransition, Set<ReachabilityInformation>>) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Constructs a test generator for the specified EFSM with the specified parameters.

E

Efsm - Class in ru.ispras.retrascope.model.efsm
The representation of an extended finite state machine.
Efsm(String) - Constructor for class ru.ispras.retrascope.model.efsm.Efsm
Constructs an empty EFSM with the specified name.
Efsm.TransitionWeightBasis - Enum in ru.ispras.retrascope.model.efsm
 
EFSM_PARAM - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The output GraphML-file-name command line parameter.
EfsmBfs - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
This class implements the Breadth-First Search algorithm.
EfsmBfs() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
The default constructor.
EfsmConflictExtractor - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict
This engine is used to detect possible conflicts among specified EFSMs.
EfsmConflictExtractor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor
The default constructor.
EfsmDfs - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
This class implements the Depth-First Search algorithm.
EfsmDfs() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
The default constructor.
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
 
EfsmModel - Class in ru.ispras.retrascope.model.efsm
Entity representation of EFSM collection.
EfsmModel() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an empty EfsmModel.
EfsmModel(Efsm) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EfsmModel above the specified EFSM.
EfsmModel(List<Efsm>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EfsmModel above the specified EFSMs.
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.
EfsmPathfinder - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders
The abstract class representing an heuristic for finding such paths in EFSM which enable traversing target transitions.
EfsmPathfinder() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.EfsmPathfinder
 
EfsmPathSearcher - Interface in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
Base class for different EFSM searching algorithms.
EfsmSimulationSnapshot - Class in ru.ispras.retrascope.engine.efsm.simulator
The snapshot of EFSM simulation.
EfsmSimulator - 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.
EfsmSimulator(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Constructs a simulator above the specified EFSM.
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 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.
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.engine.efsm
The representation of a transition-based coverage of an EFSM.
EfsmTransitionCoverage(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Constructs a new coverage representation for the specified EFSM.
EfsmTransitionCoverage(EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Constructs a new coverage as a copy of the specified coverage.
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.
ENABLE_CYCLE_DEPENDENCIES - Static variable in class ru.ispras.retrascope.basis.EngineRegistry
Enables/disables cycle dependencies between engines.
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.printer.graphml.CfgGraphMlPrinter
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
The engine ID of all EfsmFateTestGenerator 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.test.printer.xml.TestXmlPrinter
The engine ID of all TestXmlPrinter instances.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinter
The engine ID of all TestVhdlTestbenchPrinter instances.
ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
 
ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 
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.basis.VerilogTestbench
The entity type ID of all VerilogTestbench instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.basis.VhdlTestbench
The entity type ID of all VhdlTestbench instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.parser.test.TestFileNames
The entity type ID of all TestFileNames instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.testbench.Sequence
The entity type ID of all Sequence instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.testbench.Test
The entity type ID of all Test 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.engine.efsm.EfsmTransitionCoverage
Compares the specified object with this coverage for equality.
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.Range
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableData
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Action
 
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Compares the specified object with this EFSM for equality.
equals(Object) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
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.result.testbench.Sequence
Compares the specified object with this sequence for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Test
Compares the specified object with this test for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Transaction
Compares the specified object with this transaction for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Vector
Compares the specified object with this vector for equality.
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
Fact that occurs with variable (usually with RTL signal).
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
Event collection.
EventList() - Constructor for class ru.ispras.retrascope.model.basis.EventList
The default constructor.
EventList(Set<Event>) - Constructor for class ru.ispras.retrascope.model.basis.EventList
Constructs object with the specified events collection.
eventNum() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns number of events.
EventType - Enum in ru.ispras.retrascope.model.basis
Event types.

F

FILE_NAME - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
 
FileCreator - Class in ru.ispras.retrascope.basis
This class implements utility methods for creating files (with engine results).
FileCreator() - Constructor for class ru.ispras.retrascope.basis.FileCreator
 
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.
FORM_DIAMOND - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_ELLIPSE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_OCTAGON - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_PARALLELOGRAM - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_RECTANGLE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRAPEZOID - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRAPEZOID2 - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRIANGLE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORMAT - Static variable in class ru.ispras.retrascope.Retrascope
The command line format.
FULL_COVERAGE_PERCENTAGE - Static variable in class ru.ispras.retrascope.engine.basis.TestCoverage
The number representing full coverage percentage, that is, BigDecimal.valueOf(100).

G

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.basis.VerilogTestbench
Returns additional files (for example, test pattern and library files) related to this testbench.
getAdditionalFiles() - Method in class ru.ispras.retrascope.basis.VhdlTestbench
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).
getAssignments() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Returns all block assignments.
getBindings() - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Returns module's bindings.
getCfg() - Method in class ru.ispras.retrascope.model.cfg.Process
Returns process control flow graph.
getCfgModel() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Returns constructed CfgModel.
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Return child nodes.
getChildren() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getChildren() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
getClocks() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns guarded action clocks.
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.Switch
Returns condition expression.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.Wait
Returns the Node condition.
getConfigs() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
Returns visitors configurations.
getConfiguration() - Static method in class ru.ispras.retrascope.Retrascope
Returns the tool configuration.
getConflicts() - Method in class ru.ispras.retrascope.result.conflict.ConflictModel
Returns the set of conflicts.
getConstraints() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
getCoverage() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns a coverage reached during generation.
getCoverage() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a representation of a coverage reached during simulation.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Returns a coverage reached during generation.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Returns a coverage reached during generation.
getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a test coverage reached during simulation since last reset.
getCoveredTransitions() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Returns all covered transitions in this coverage.
getCurrentState() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a current state of this simulator.
getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
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.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
getCycleNumberForAnnotatedInput(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Returns the declaration of the specified variable.
getDeclarations() - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Returns a collection of variables declarations.
getDefaultDirectory() - Static method in class ru.ispras.retrascope.basis.FileCreator
Returns the name of the default directory.
getDefaultMode() - Static method in enum ru.ispras.retrascope.model.cfg.CfgWalkerMode
Returns default walking mode.
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.BasicBlock
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Throws an exception.
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getDefines() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
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, String) - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns a String description of object stored in format of the specified printer.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Case
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns node string description in the format of the specified printer.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Module
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Process
 
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Switch
Returns a string description in the format of the specified printer.
getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.Wait
 
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.
getEfsm() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Returns an EFSM which this generator is related to.
getEfsm() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Returns an EFSM which this generator is related to.
getEfsmList() - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
Returns the set of EFSMs containing in the model.
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.Run
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).
getEvent() - Method in class ru.ispras.retrascope.model.cfg.Switch
Returns event.
getEventList() - Method in class ru.ispras.retrascope.model.cfg.Wait
Returns the EventList sensitivity list.
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.testbench.Sequence
Returns an EventList object associated with this sequence.
getEventList() - Method in class ru.ispras.retrascope.result.testbench.Vector
Returns an EventList associated with this vector.
getEvents() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns a collection of events.
getExpression() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns value expression.
getExpression() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns an expression which this state is represented by.
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.
getGuardExpr() - Method in class ru.ispras.retrascope.model.efsm.Guard
Returns list of guard predicates.
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.cfg.CfgModelNode
Returns unique node identifier in string form.
getIncomingTransitions(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns transitions which ends at the specified state.
getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns an initial state of this EFSM.
getInitialState() - Method in class ru.ispras.retrascope.model.Model
Returns an initial state of this model.
getInitVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
Returns initial visitor.
getInnerDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInnerDataType(String) - Method in class ru.ispras.retrascope.model.Model
Returns a data type of the specified inner variable of this model.
getInnerDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInnerDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInnerDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.Model
Returns data types of the specified inner variables of this model.
getInnerDataTypes() - Method in class ru.ispras.retrascope.model.Model
Returns data types of all inner variables of this model
getInnerValue(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a value of the specified inner variable of this simulator.
getInnerValue(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getInnerValues(Collection<String>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns values of the specified inner variables of this simulator.
getInnerValues() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns values of all inner variables of this simulator.
getInnerValues(Collection<String>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getInnerValues() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getInputDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputDataType(String) - Method in class ru.ispras.retrascope.model.Model
Returns a data type of the specified input variable of this model.
getInputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.Model
Returns data types of the specified input variables of this model.
getInputDataTypes() - Method in class ru.ispras.retrascope.model.Model
Returns data types of all input variables of this model.
getInputs() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns all the module 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).
getInvariant() - Method in class ru.ispras.retrascope.model.cfg.VariableDeclaration
Returns variable invariant.
getInvariantCondition(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns an invariant condition which is related to the specified variable.
getInvariantCondition(NodeVariable) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns an invariant condition which is related to the specified variable.
getLastNode(CfgNodeType) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Returns last internal node with the specified type.
getLength() - Method in class ru.ispras.retrascope.result.testbench.Sequence
Returns an amount of vectors in this sequence.
getList() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names (as a list).
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.
getMapping() - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
Returns mapping of modules names and their signal interfaces.
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.
getModel() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
Returns control flow graph model.
getModelPair() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the pair of models.
getModule(String) - Method in class ru.ispras.retrascope.model.cfg.CfgModel
Returns sub-module with the specified name.
getModules() - Method in class ru.ispras.retrascope.model.cfg.CfgModel
Returns internal modules.
getModules() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns sub-modules.
getName() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a name of this simulator.
getName() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns variable String string name.
getName() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns module name.
getName() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns a name of this EFSM.
getNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs.DepthFirstSearchPathfinder
 
getNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.EfsmPathfinder
Returns a path for traversing.
getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns an iterator enabling to retrieve next sequence of vectors produced by this generator.
getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Returns an iterator enabling to retrieve next sequence of vectors produced by this generator.
getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Returns an iterator enabling to retrieve next sequence of vectors produced by this generator.
getNode(String) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Returns first internal node with the specified identifier.
getNodes() - Method in class ru.ispras.retrascope.model.cfg.Cfg
Returns all internal control flow graph nodes.
getOld() - Method in class ru.ispras.retrascope.model.basis.Range
Returns old index.
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns the only child node.
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
getOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns the only parent node.
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
getOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
getOption() - Method in class ru.ispras.retrascope.basis.Parameter
Returns the parameter in the Apache Commons CLI format.
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.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.printer.graphml.EfsmGraphMlPrinter
 
getOutputDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputDataType(String) - Method in class ru.ispras.retrascope.model.Model
Returns a data type of the specified output of this model.
getOutputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.Model
Returns data types of the specified output variables of this model.
getOutputDataTypes() - Method in class ru.ispras.retrascope.model.Model
Returns data types of all output signals of this model.
getOutputs() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns all the module 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).
getOutputValue(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a value of the specified output variable of this simulator.
getOutputValue(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getOutputValues(Collection<String>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns values of the specified output variables of this simulator.
getOutputValues() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns values of all output variables of this simulator.
getOutputValues(Collection<String>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
getOutputValues() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
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.
getParents() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns parent nodes.
getParents() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getParents() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getPath(CfgNode, CfgNode) - Static method in class ru.ispras.retrascope.engine.basis.TransformUtils
Constructs a sequence of connected nodes between the specified begin and end nodes.
getPath() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the path from the conflict state to the initial state.
getPercentage() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Returns a percentage representation of this test coverage with a default precision.
getPercentage(int) - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Returns a percentage representation of this test coverage with the specified precision.
getPercentage() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Returns a percentage representation of this test coverage computed with the default precision.
getPercentage(int) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Returns a percentage representation of this test coverage computed with the specified precision.
getProcesses() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns module's processes.
getRange() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns range.
getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns variables that are to be assigned to.
getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Event
Returns event ranged variable.
getResetGuardedAction() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns a reset guarded action of this EFSM, that is, such a guarded action which represents a precondition of the initial state and an action which is performed during initialisation of this EFSM.
getResultingDependencies() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns mappings between modified variables and variables which affects corresponding modifications.
getResultingSubstitutions() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns mappings between variables and corresponding substitutions representing total variable modifications during execution of this action.
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.Process
Returns EventList sensitivity list.
getSequences() - Method in class ru.ispras.retrascope.result.testbench.Test
Returns a list of sequences which this test consisted of.
getSequencesAmount() - Method in class ru.ispras.retrascope.result.testbench.Test
Returns an amount of sequences which this test consisted of.
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.
getSink() - Method in class ru.ispras.retrascope.model.cfg.Cfg
Returns Sink node of this graph.
getSource() - Method in class ru.ispras.retrascope.model.cfg.Cfg
Returns Source node of this graph.
getSources() - Method in class ru.ispras.retrascope.Retrascope.Run
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.
getStatements() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns all code statements.
getStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns all states of this EFSM.
getStaticModel() - Method in class ru.ispras.retrascope.engine.basis.Simulator
Returns a static device model related to this simulator.
getStaticModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns an EFSM which this simulator is based on.
getStatus() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
getStatus() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Returns the current status of the visitor.
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
getStatus() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
getStylePrinter() - Method in class ru.ispras.retrascope.basis.Configuration
Returns expression style printer.
getTargets() - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns the collection of all available targets (output types of engines).
getTransactions() - Method in class ru.ispras.retrascope.result.testbench.Vector
Returns all transactions included in this vector.
getTransitions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns all transitions of this EFSM.
getType() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names' extension (file type).
getType() - Method in class ru.ispras.retrascope.model.basis.Event
Returns event type.
getType() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getType() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Returns node type.
getType() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
getType() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the type of conflict.
getUncoveredTransitions() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Returns all uncovered transitions in this coverage.
getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns names of variables used in this assignment.
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.BasicBlock
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Throws an exception.
getUses() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Source
 
getUses() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
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 by action.
getUsesByGuard() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns variables that are used by guard.
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(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.testbench.Transaction
Returns a value of the specified variable from this transaction.
getValue(String) - Method in class ru.ispras.retrascope.result.testbench.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(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
getValues() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
getValues(Collection<String>) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Returns a values of the specified variables.
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.Case
Returns node values.
getValues() - Method in class ru.ispras.retrascope.result.testbench.Transaction
Returns a map containing mappings between names and values for all variables of this transaction.
getVarExpression() - Method in class ru.ispras.retrascope.model.cfg.VariableDeclaration
Returns the declared variable or it's bound expression.
getVariable() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns variable.
getVariable(String) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Returns declared variable with specified name.
getVariable() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the conflicting variable.
getVariables() - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Returns declared variables.
getVariablesMapping() - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Mapping of names of internal variables to variable declarations.
getVariableType() - Method in class ru.ispras.retrascope.model.basis.VariableData
Returns variable type.
getVector(int) - Method in class ru.ispras.retrascope.result.testbench.Sequence
Returns a vector with the specified index from this sequence.
getVectors() - Method in class ru.ispras.retrascope.result.testbench.Sequence
Returns a list containing all vectors of this sequence.
getVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorConfig
Returns control flow graph visitor.
getWalkerMode() - Method in class ru.ispras.retrascope.engine.cfg.CfgDfsVisitorBackend
 
getWalkerMode() - Method in class ru.ispras.retrascope.engine.cfg.CfgDfsWrVisitorBackend
 
getWalkerMode() - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
Returns walker mode.
getWalkerMode() - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorConfig
Returns control flow graph walker mode.
getYoung() - Method in class ru.ispras.retrascope.model.basis.Range
Returns young index.
GRAPHML_PARAM - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
 
GraphMlUtils - Class in ru.ispras.retrascope.result.graphml
GraphML utils.
GraphMlUtils() - Constructor for class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
Guard - Class in ru.ispras.retrascope.model.efsm
Guard is a boolean condition, that consists of some predicates.
Guard() - Constructor for class ru.ispras.retrascope.model.efsm.Guard
The default constructor.
Guard(Node) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs guard object from the specified predicate.
Guard(Collection<Node>) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs guard object from the specified list of predicates.
GuardedAction - Class in ru.ispras.retrascope.model.efsm
Guarded action is a triple: a collection of clock Event events, a guard Guard predicate, and an associated action Action.
GuardedAction(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs guarded action object from the specified guard 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 backends, false otherwise.
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has child nodes.
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
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.engine.efsm.EfsmTransitionCoverage
 
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.Range
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableData
 
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.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.result.testbench.Sequence
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Test
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Transaction
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Vector
 
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.
hasInvariant() - Method in class ru.ispras.retrascope.model.cfg.VariableDeclaration
Checks rather variable also has it's own invariant.
hasMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Contains rather object contains meta-information for the specified type.
hasMetaInfo(String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Contains rather object contains meta-information for the specified type.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
hasNext() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Shows whether the algorithm can proceed and try to obtain alternative results.
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
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Case
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Cfg
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has parent nodes.
hasParents() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Source
 
hasValue() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
hasValue() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
hasValue() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Shows whether the result has been obtained during the search.
HDLParser - Class in ru.ispras.retrascope.parser.basis
A base class of HDL description parser.
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
 

I

include(EfsmTransitionCoverage) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Includes the specified coverage to this coverage.
INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for informational messages.
init(Efsm, EfsmTransition, SearchCondition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
init(Efsm, EfsmTransition, SearchCondition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
init(Efsm, EfsmTransition, SearchCondition) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Used to initialize the searcher.
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
Initialize 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.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.cgaa.transformer.efsm.CgaaEfsmTransformer
 
initialize(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
instantiate(String, Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Module
Constructs an instance of this module
isCompatible(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks if this event is compatible with the specified one, that is, they aren't mutually exclusive.
isCompatible(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this event list is compatible with the specified one, that is, they aren't mutually exclusive.
isConcurrent() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Checks rather object contains only concurrent assignments.
isConditioned() - Method in class ru.ispras.retrascope.model.cfg.Wait
Checks rather object contains condition,
isCovered(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Checks if the specified transition is covered.
isDefault() - Method in class ru.ispras.retrascope.model.cfg.Case
Checks rather case node is default.
isEmpty() - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this event list is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.testbench.Transaction
Checks if this transaction is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.testbench.Vector
Checks if this vector is empty.
isFull() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Tests if this coverage is full.
isFull() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Tests if this coverage is full, that is, there are no uncovered transitions.
isInitial() - Method in class ru.ispras.retrascope.model.cfg.Process
Checks rather process is of initial kind.
isInputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks rather identifier is of input or input-output signal type.
isRanged() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Checks rather this is really 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.
isSensible(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Checks if the specified event is in a sensitivity list of this guarded action.
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 rather identifier is of signal type.
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.
isTriggeredBy(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks if this event is always triggered along with the specified one (for example, if this event is any edge of some variable while other is positive edge of the same variable).
isTriggeredBy(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this event list is always triggered along with the specified one (for example, if this event is any edge of some variable while other is positive edge of the same variable).

J

JaxbEfsmAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of Efsm class for Conflicts representation.
JaxbEfsmAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
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
 
JaxbGuardedActionAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of GuardedAction class for Conflicts representation.
JaxbGuardedActionAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
JaxbNodeVariableAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of NodeVariable class for Conflicts representation.
JaxbNodeVariableAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
JaxbVariable - Class in ru.ispras.retrascope.result.testbench.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariable() - Constructor for class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariable
 
JaxbVariableList - Class in ru.ispras.retrascope.result.testbench.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableList() - Constructor for class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariableList
 
JaxbVariableMapXmlAdapter - Class in ru.ispras.retrascope.result.testbench.jaxb
The adapter class for JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter() - Constructor for class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariableMapXmlAdapter
 
jaxbVariables - Variable in class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariableList
 

L

limitReached(int) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.SearchCondition
Checks whether the depth limit is reached.
loadSnapshot(EfsmSimulationSnapshot) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Restores a simulation state from the specified snapshot.
Log - Class in ru.ispras.retrascope.util
This class implements logging facilities.
Log() - Constructor for class ru.ispras.retrascope.util.Log
 
LOG_LEVEL - Static variable in class ru.ispras.retrascope.Retrascope
 
LOG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
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.

M

main(String[], EngineEventHandler) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
main(String[]) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a snapshot representing a current state of the simulation.
markTransitionAsCovered(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Marks the specified transition as covered.
marshal(Model) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
marshal(GuardedAction) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
marshal(NodeVariable) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
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, Node>) - Method in class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariableMapXmlAdapter
 
Memory - Interface in ru.ispras.retrascope.model.basis.memory
The interface for a store of variables.
Merge - Class in ru.ispras.retrascope.model.cfg
Merge node of control flow graph model.
Merge() - Constructor for class ru.ispras.retrascope.model.cfg.Merge
The default constructor.
MetaInfo - Class in ru.ispras.retrascope.model.basis
Class that stores met-information of different types into different values.
MetaInfo() - Constructor for class ru.ispras.retrascope.model.basis.MetaInfo
Constructs meta-information container.
MetaInfoType - Enum in ru.ispras.retrascope.model.basis
This enum contains the meta-information descriptors.
MetaInfoValue - Enum in ru.ispras.retrascope.model.basis
Predefined values of meta-information.
Model - Class in ru.ispras.retrascope.model
The abstract representation of a device model encapsulating only a static structure of an original device.
Model() - Constructor for class ru.ispras.retrascope.model.Model
 
ModelProduceCfgVisitor - Class in ru.ispras.retrascope.model.cfg
Basic interface for visitors that not only process control flow graph models, but construct new control flow graph models from them.
ModelProduceCfgVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.ModelProduceCfgVisitor
 
Module - Class in ru.ispras.retrascope.model.cfg
HDL module.
Module(String) - Constructor for class ru.ispras.retrascope.model.cfg.Module
The default constructor.

N

name - Variable in class ru.ispras.retrascope.result.testbench.jaxb.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.cfg.CfgVariableContainerNode
 
newFile(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Creates a new file with the given name.
next() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
next() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
next() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Performs a search until condition is met or the end is reached.

O

onActivityBegin(Activity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onActivityEnd(Activity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignBegin(Assign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignEnd(Assign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignmentActionBegin(Action) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentActionEnd(Action) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assignment action has been finished.
onAssignmentBegin(Assignment) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentBegin(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assign statement has been started.
onAssignmentBegin(Assignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignmentEnd(Assignment) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentEnd(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assign statement has been finished.
onAssignmentEnd(Assignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignStatementBegin(AssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAssignStatementEnd(AssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAttributeBegin(Attribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onAttributeEnd(Attribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onBasicBlockBegin(BasicBlock) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting BasicBlock node.
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onBasicBlockEnd(BasicBlock) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting BasicBlock node.
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onBlockGenerateBegin(BlockGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onBlockGenerateEnd(BlockGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onBlockStatementBegin(BlockStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onBlockStatementEnd(BlockStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseBegin(Case) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCaseBegin(Case) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Case node.
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onCaseBegin(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCaseEnd(Case) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Case node.
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCaseGenerateBegin(CaseGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseGenerateEnd(CaseGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseGenerateItemBegin(CaseGenerateItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseGenerateItemEnd(CaseGenerateItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseStatementBegin(CaseStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseStatementEnd(CaseStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseStatementItemBegin(CaseStatementItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCaseStatementItemEnd(CaseStatementItem) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCfgBegin(Cfg) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Cfg node.
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onCfgBegin(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCfgEnd(Cfg) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Cfg node.
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onCfgEnd(Cfg) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCfgModelBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgModel object.
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
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 interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgModel object.
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCodeBegin(Code) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onCodeEnd(Code) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onConditionEndDeclaration() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Finishes condition branch.
onConditionStartDeclaration(Case) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Adds condition-branch to the deepest switch-block.
onDeclarationBegin(Declaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onDeclarationEnd(Declaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onDelayedStatementBegin(DelayedStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onDelayedStatementEnd(DelayedStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onDisableStatementBegin(DisableStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onDisableStatementEnd(DisableStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onEfsmBegin(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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 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.printer.graphml.EfsmGraphMlVisitor
 
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 interface ru.ispras.retrascope.model.efsm.EfsmModelVisitor
Indicates that a walker has finished walking across the specified EFSM model.
onEvent(Event) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.testbench.TestVisitor
Indicates that a walker has encountered the specified event.
onEventListBegin(EventList) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has started walking across the specified event list.
onEventListEnd(EventList) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that walker has finished walking across the specified event list.
onExpression(Node) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onExpression(Node) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified expression has been started.
onGenerateBegin(Generate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onGenerateEnd(Generate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onGraphBegin(PrintWriter, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print the graph open tag.
onGraphBegin(PrintWriter) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print the graph open tag.
onGraphEnd(PrintWriter) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print the graph open tag.
onGraphMlBegin(PrintWriter) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print the GraphML title tag to GraphML file.
onGraphMlEnd(PrintWriter) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print the GraphML close tag to GraphML file.
onGuardBegin(Guard) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onGuardEnd(Guard) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified guard has been finished.
onIfGenerateBegin(IfGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfGenerateBranchBegin(IfGenerateBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfGenerateBranchEnd(IfGenerateBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfGenerateEnd(IfGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfStatementBegin(IfStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfStatementBranchBegin(IfStatementBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfStatementBranchEnd(IfStatementBranch) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onIfStatementEnd(IfStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onInstantiationBegin(Instantiation) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onInstantiationEnd(Instantiation) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onLoopGenerateBegin(LoopGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onLoopGenerateEnd(LoopGenerate) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onLoopStatementBegin(LoopStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onLoopStatementEnd(LoopStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onMergeBegin(Merge) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Merge node.
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onMergeEnd(Merge) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Merge node.
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onModuleBegin(Module) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Module node.
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onModuleEnd(Module) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onModuleEnd(Module) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Module node.
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onModuleEnd(Module) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onNullStatementBegin(NullStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onNullStatementEnd(NullStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPathDeclarationBegin(PathDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPathDeclarationEnd(PathDeclaration) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPortBegin(Port) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPortConnectionBegin(PortConnection) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPortConnectionEnd(PortConnection) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPortEnd(Port) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onProcedureBegin(Procedure) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onProcedureEnd(Procedure) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onProcessBegin(Process) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onProcessBegin(Process) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Process node.
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onProcessEnd(Process) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Process node.
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onPulseStyleBegin(PulseStyle) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onPulseStyleEnd(PulseStyle) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onRootBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
Prints the GraphML title tag to the GraphML file.
onRootBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Notifies that processing has been started.
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onRootBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
Prints the GraphML close tag to the GraphML file.
onRootEnd() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Notifies that processing has been finished.
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onRootEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSequenceBegin(Sequence) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has started walking across the specified sequence.
onSequenceEnd(Sequence) - Method in interface ru.ispras.retrascope.result.testbench.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(ShowCancelled) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onShowCancelledEnd(ShowCancelled) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onSink(Sink) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSink(Sink) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Notifies that a Sink node has been visited.
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSink(Sink) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSpecifyBegin(Specify) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onSpecifyEnd(Specify) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onSrcBegin(Source) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSrcBegin(Source) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Source node.
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSrcEnd(Source) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Source node.
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onStateBegin(EfsmState) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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 interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM state has been finished.
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSwitchBegin(Switch) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Switch node.
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onSwitchEnd(Switch) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Switch node.
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSwitchEndDeclaration() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Finishes current switch and merge blocks.
onSwitchStartDeclaration(Expression, boolean, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Adds new switch and merge blocks into current process.
onTableBegin(Table) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTableEnd(Table) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTableEntryBegin(TableEntry) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTableEntryEnd(TableEntry) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTaskStatementBegin(TaskStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTaskStatementEnd(TaskStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTestBegin(Test) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has started walking across the specified test.
onTestEnd(Test) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has finished walking across the specified test.
onTransactionBegin(Transaction) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has started walking across the specified transaction.
onTransactionEnd(Transaction) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has finished walking across the specified transaction.
onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
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.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onTransitionEnd(EfsmTransition) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified EFSM transition has been finished.
onTriggerStatementBegin(TriggerStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onTriggerStatementEnd(TriggerStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onVariable(String, Node) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has encountered the specified variable.
onVectorBegin(Vector) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has started walking across the specified vector.
onVectorEnd(Vector) - Method in interface ru.ispras.retrascope.result.testbench.TestVisitor
Indicates that a walker has finished walking across the specified vector.
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onWaitBegin(Wait) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Wait node.
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onWaitEnd(Wait) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Wait node.
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onWaitStatementBegin(WaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
onWaitStatementEnd(WaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
 
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
 
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
 
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.parser.verilog.VerilogParser
 
OUT_TYPE - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 

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
 
parentNode - Variable in class ru.ispras.retrascope.model.cfg.CfgNode
 
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(Assignment, AssignStatement.Type, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Processes assignments of different types.
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.
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) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
Print the specified EfsmModel model to GraphML file.
print(Test, Path, Set<String>) - Static method in class ru.ispras.retrascope.engine.testbench.DeciderLikeTestPatternPrinter
Prints the specified test to the specified file.
PRINT_STYLE_PARAM - Static variable in class ru.ispras.retrascope.basis.Configuration
The predefined parameters.
printEdge(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print edge to GraphML file.
printEdge(PrintWriter, String, String, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print edge with label to GraphML file.
printNode(PrintWriter, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print node.
printNode(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.result.graphml.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.result.graphml.GraphMlUtils
 
Process - Class in ru.ispras.retrascope.model.cfg
HDL module process.
Process() - Constructor for class ru.ispras.retrascope.model.cfg.Process
The default constructor.
Process(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.Process
Constructs new process with the specified value of "initial" flag and empty collection of events.
processEvents(EventList) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Handles the specified events.
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
 
produceModel() - Method in class ru.ispras.retrascope.model.cfg.ModelProduceCfgVisitor
Returns model produced by visitor.
product(Efsm...) - Static method in class ru.ispras.retrascope.model.efsm.Efsm
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.
Range - Class in ru.ispras.retrascope.model.basis
The object that keep a pair of values.
Range(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.Range
The default constructor.
RangedVariable - Class in ru.ispras.retrascope.model.basis
The RangedVariable class represents both variable and it's "range".
RangedVariable() - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
The default constructor.
RangedVariable(NodeVariable) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object from the specified variable.
RangedVariable(NodeVariable, Range) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object from the specified variable and it's range.
remove(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes an event with the specified variable.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Throws an exception.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Sink
Throws an exception.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Switch
Removes child node.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Removes declaration of variable with the specified name.
removeMetaInfo(String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Removes information of the specified type.
removeMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Removes information of the specified type.
removeNode(CfgNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Removes internal node from control flow graph.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Case
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Cfg
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgModelNode
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Merge
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Source
Removes parent node.
removeProcesses() - Method in class ru.ispras.retrascope.model.cfg.Module
Remove module's processes.
reset() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Resets this coverage to the initial state
reset() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
 
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Resets this simulator, that is, returns it to an uninitialised state.
Retrascope - Class in ru.ispras.retrascope
The main class of the project.
Retrascope() - Constructor for class ru.ispras.retrascope.Retrascope
 
Retrascope.Run - Class in ru.ispras.retrascope
The tool run information.
Retrascope.Run(ToolChain, Map<EntityType, Entity>) - Constructor for class ru.ispras.retrascope.Retrascope.Run
Constructs a tool run.
Retrascope.Run() - Constructor for class ru.ispras.retrascope.Retrascope.Run
Construct a tool run with unspecified tool chain.
ru.ispras.retrascope - package ru.ispras.retrascope
 
ru.ispras.retrascope.basis - package ru.ispras.retrascope.basis
 
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.printer.graphml - package ru.ispras.retrascope.engine.cfg.printer.graphml
 
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.conflict.printer.xml - package ru.ispras.retrascope.engine.conflict.printer.xml
 
ru.ispras.retrascope.engine.efsm - package ru.ispras.retrascope.engine.efsm
 
ru.ispras.retrascope.engine.efsm.extractor.conflict - package ru.ispras.retrascope.engine.efsm.extractor.conflict
 
ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb - package ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
 
ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher - package ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
 
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.generator.test.heuristic.pathfinders - package ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders
 
ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs - package ru.ispras.retrascope.engine.efsm.generator.test.heuristic.pathfinders.dfs
 
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.test.printer.xml - package ru.ispras.retrascope.engine.test.printer.xml
 
ru.ispras.retrascope.engine.testbench - package ru.ispras.retrascope.engine.testbench
 
ru.ispras.retrascope.model - package ru.ispras.retrascope.model
 
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.cgaa - package ru.ispras.retrascope.model.cgaa
 
ru.ispras.retrascope.model.efsm - package ru.ispras.retrascope.model.efsm
 
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.test - package ru.ispras.retrascope.parser.test
 
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.result.cfginterface - package ru.ispras.retrascope.result.cfginterface
 
ru.ispras.retrascope.result.conflict - package ru.ispras.retrascope.result.conflict
 
ru.ispras.retrascope.result.graphml - package ru.ispras.retrascope.result.graphml
 
ru.ispras.retrascope.result.testbench - package ru.ispras.retrascope.result.testbench
 
ru.ispras.retrascope.result.testbench.jaxb - package ru.ispras.retrascope.result.testbench.jaxb
 
ru.ispras.retrascope.util - package ru.ispras.retrascope.util
 
runBackends(Entity) - Method in class ru.ispras.retrascope.basis.Engine
Runs all the backends that were added to this engine.

S

SearchCondition - Interface in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
The interface that represents the conditions which limit the search algorithm.
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, Set<EfsmTransition>, 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.testbench
The representation of a test sequence.
Sequence() - Constructor for class ru.ispras.retrascope.result.testbench.Sequence
Constructs an empty sequence.
Sequence(int) - Constructor for class ru.ispras.retrascope.result.testbench.Sequence
Constructs an empty sequence with the specified initial capacity of an underlying collection of vectors.
Sequence(EventList, List<Vector>) - Constructor for class ru.ispras.retrascope.result.testbench.Sequence
Constructs a sequence of the specified vectors with the specified events.
setBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Sets module's bindings.
setClock(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Associates this guarded action with the specified Event as a clock.
setClocks(Collection<Event>) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Sets guarded action clocks.
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.BasicBlock
Sets the concurrent flag to the specified value.
setDefault() - Method in class ru.ispras.retrascope.model.cfg.Case
Make node default.
setDefaultDirectory(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Sets the name of the default directory.
setExpression(Node) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets new value expression.
setExpression(Node) - Method in class ru.ispras.retrascope.model.cfg.Switch
Sets new expression.
setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Marks the specified state of this EFSM as an initial state.
setInputValue(String, NodeValue) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Sets the specified input of this simulator to the specified value.
setInputValue(String, NodeValue) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
setInputValues(Collection<Transaction>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
Sets the specified inputs of this simulator to the specified values.
setInputValues(Collection<Transaction>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
 
setInstanceName(String) - Method in class ru.ispras.retrascope.model.cfg.Module
Sets instance name.
setLevel(Level) - Static method in class ru.ispras.retrascope.util.Log
Sets the log level.
setModelPair(Model, Model) - Method in class ru.ispras.retrascope.result.conflict.Conflict
Sets a pair of models.
setOutputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Sets the given output type of the engine.
setPath(List<GuardedAction>) - Method in class ru.ispras.retrascope.result.conflict.Conflict
 
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.
setResetGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified guarded action to this EFSM.
setSensitivityList(EventList) - Method in class ru.ispras.retrascope.model.cfg.Process
Sets new EventList sensitivity list.
setType(Conflict.Types) - Method in class ru.ispras.retrascope.result.conflict.Conflict
Sets the type of a conflict.
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.basis.RangedVariable
Sets new variable.
setVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.conflict.Conflict
Sets a new conflicting variable.
setVariablesMapping(Map<String, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.cfg.CfgVariableContainerNode
Sets declared variables mapping.
signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
Simulator - Class in ru.ispras.retrascope.engine.basis
The abstract representation of a device model encapsulating a runtime state along with a static structure of an original device.
Simulator(String, EntityType, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.Simulator
Creates a simulator with the specified ID and I/O entity types.
Sink - Class in ru.ispras.retrascope.model.cfg
Sink (final) node of control flow graph.
Sink() - Constructor for class ru.ispras.retrascope.model.cfg.Sink
The default constructor.
SOLVER_DEBUG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
SOLVER_PATH_PROPERTY - Static variable in class ru.ispras.retrascope.Retrascope
The name of the solver path property.
SOLVER_PATH_VARIABLE - Static variable in class ru.ispras.retrascope.Retrascope
The name of the solver path environment variable.
Source - Class in ru.ispras.retrascope.model.cfg
Source (first) node of control flow graph.
Source() - Constructor for class ru.ispras.retrascope.model.cfg.Source
Constructs empty object.
Source(CfgModelNode) - Constructor for class ru.ispras.retrascope.model.cfg.Source
Constructs object with the specified parent node.
start(Entity) - Method in class ru.ispras.retrascope.basis.Backend
Elaborates the specified entity.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.Engine
Processes entities of the input types and produces an entity of the output type.
start(Map<EntityType, Entity>, EngineEventHandler) - Method in class ru.ispras.retrascope.basis.Engine
Processes entities of the input types and produces an entity of the output type.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.ToolChain
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
Generates a test, that is, a list of input sequences.
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.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.conflict.printer.xml.ConflictXmlPrinter
 
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.extractor.conflict.EfsmConflictExtractor
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Simulates the specified input sequence producing an output sequence.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.xml.TestXmlPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinter
 
start(CfgModel) - Method in class ru.ispras.retrascope.model.cfg.CfgWalker
Starts control flow graph model walking.
start(EfsmModel) - Method in class ru.ispras.retrascope.model.efsm.EfsmModelWalker
Performs walking across the specified test.
start(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Performs walking across the specified EFSM.
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HDLParser
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.test.XmlTestParser
 
start(Test) - Method in class ru.ispras.retrascope.result.testbench.TestWalker
Performs walking across the specified test.
start(EngineEventHandler) - Method in class ru.ispras.retrascope.Retrascope.Run
Starts the tool chain with the given source entities.
State - Class in ru.ispras.retrascope.model
The class representing a state of some model.
State() - Constructor for class ru.ispras.retrascope.model.State
 
substitute(List<CfgNode>, String, Node) - Static method in class ru.ispras.retrascope.engine.basis.TransformUtils
Substitutes usages of variable with the specified String name by the specified Node expression in all the elements of the specified collection.
substituteBackward(List<BasicBlock>, Node) - Static method in class ru.ispras.retrascope.engine.basis.TransformUtils
Performs backward substitution of the specified list of blocks to the specified node expression.
Substitutor - Class in ru.ispras.retrascope.engine.efsm.generator.test
 
Substitutor(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
Switch - Class in ru.ispras.retrascope.model.cfg
Switch node of control flow graph.
Switch(Node) - Constructor for class ru.ispras.retrascope.model.cfg.Switch
Constructs an object with the specified expression.
Switch(Event) - Constructor for class ru.ispras.retrascope.model.cfg.Switch
Constructs an object with the specified event and trivial expression.

T

TARGET_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
The command line parameters.
Test - Class in ru.ispras.retrascope.result.testbench
The representation of a test.
Test() - Constructor for class ru.ispras.retrascope.result.testbench.Test
Constructs an empty test.
Test(List<Sequence>) - Constructor for class ru.ispras.retrascope.result.testbench.Test
Constructs a test containing the specified list of sequences.
TestCoverage - Class in ru.ispras.retrascope.engine.basis
The representation of an abstract test coverage.
TestCoverage() - Constructor for class ru.ispras.retrascope.engine.basis.TestCoverage
 
TestFileNames - Class in ru.ispras.retrascope.parser.test
This class represents a collection of XML file names.
TestFileNames(String) - Constructor for class ru.ispras.retrascope.parser.test.TestFileNames
Constructs a test file names entity initialised with the specified file name.
TestFileNames(Collection<String>) - Constructor for class ru.ispras.retrascope.parser.test.TestFileNames
Constructs a test file names entity initialised with the specified file names.
TestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an abstract test generator.
TestGenerator(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.TestGenerator
Constructs an empty test generator with the specified ID and input entity type.
TestVhdlTestbenchPrinter - Class in ru.ispras.retrascope.engine.testbench
The engine that makes VHDL testbenches from tests.
TestVhdlTestbenchPrinter() - Constructor for class ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinter
Creates a new TestVhdlTestbenchPrinter instance.
TestVisitor - Interface in ru.ispras.retrascope.result.testbench
The interface for test visitors.
TestWalker - Class in ru.ispras.retrascope.result.testbench
The walker for the Test class.
TestWalker(TestVisitor) - Constructor for class ru.ispras.retrascope.result.testbench.TestWalker
Constructs a walker for the specified visitor.
TestXmlPrinter - Class in ru.ispras.retrascope.engine.test.printer.xml
The class for marshalling tests to XML files.
TestXmlPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.xml.TestXmlPrinter
Constructs an TestXmlPrinter instance.
toBasicBlock() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns action as one-element list of basic blocks of non-concurrent type.
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.
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.
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.engine.basis.TestCoverage
Returns a string representing this coverage.
toString() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
 
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.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.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.result.conflict.Conflict
 
toString() - Method in class ru.ispras.retrascope.result.testbench.Sequence
 
toString() - Method in class ru.ispras.retrascope.result.testbench.Test
 
toString() - Method in class ru.ispras.retrascope.result.testbench.Transaction
 
toString() - Method in class ru.ispras.retrascope.result.testbench.Vector
 
Transaction - Class in ru.ispras.retrascope.result.testbench
The class representing a transaction by a set of mappings between names and values of variables.
Transaction() - Constructor for class ru.ispras.retrascope.result.testbench.Transaction
Constructs an empty transaction.
Transaction(Map<String, ? extends Node>) - Constructor for class ru.ispras.retrascope.result.testbench.Transaction
Constructs a transaction containing the specified name-value pairs.
Transaction(int) - Constructor for class ru.ispras.retrascope.result.testbench.Transaction
Constructs an empty transaction with the specified initial capacity of an underlying collection of variable name-value pairs.
transformNode(Node) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Changes userData type kept in the node from Reference to VariableType.
TransformUtils - Class in ru.ispras.retrascope.engine.basis
The class containing utility methods for models transformation.
TransformUtils() - Constructor for class ru.ispras.retrascope.engine.basis.TransformUtils
 
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
 
TYPE - Static variable in class ru.ispras.retrascope.model.cgaa.CgaaModel
 
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.result.cfginterface.CfgInterface
 
TYPE - Static variable in class ru.ispras.retrascope.result.conflict.ConflictModel
 

U

unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
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(JaxbVariableList) - Method in class ru.ispras.retrascope.result.testbench.jaxb.JaxbVariableMapXmlAdapter
 
UseDef - Interface in ru.ispras.retrascope.model.basis
Interface for objects that use/define 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

value() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
value() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
value() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Returns the path if it has been found.
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.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.CfgNodeType
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.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.result.conflict.Conflict.Types
Returns the enum constant of this type with the specified name.
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.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.CfgNodeType
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.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.result.conflict.Conflict.Types
Returns an array containing the constants of this enum type, in the order they are declared.
VariableData - Class in ru.ispras.retrascope.model.basis
Module variable data.
VariableData(VariableType) - Constructor for class ru.ispras.retrascope.model.basis.VariableData
Constructs variable data from the specified variable type.
VariableDeclaration - Class in ru.ispras.retrascope.model.cfg
Class for keeping the variable declaration data.
VariableDeclaration(Node) - Constructor for class ru.ispras.retrascope.model.cfg.VariableDeclaration
Constructs a variable declaration object from the specified expression and null invariant.
VariableDeclaration(Node, Node) - Constructor for class ru.ispras.retrascope.model.cfg.VariableDeclaration
Constructs a variable declaration object from the specified variable/expression and it's invariant.
VariableType - Enum in ru.ispras.retrascope.model.basis
Variable types.
Vector - Class in ru.ispras.retrascope.result.testbench
The representation of an input/output vector of variables.
Vector() - Constructor for class ru.ispras.retrascope.result.testbench.Vector
Constructs an empty vector.
Vector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.testbench.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
 
VerilogTestbench - Class in ru.ispras.retrascope.basis
The representation of a Verilog testbench.
VerilogTestbench(String, Set<Path>) - Constructor for class ru.ispras.retrascope.basis.VerilogTestbench
Constructs a new Verilog testbench with the specified testbench file and additional files (for example, test pattern and library files).
VhdlParser - Class in ru.ispras.retrascope.parser.vhdl
The parser for VHDL hardware models.
VhdlParser() - Constructor for class ru.ispras.retrascope.parser.vhdl.VhdlParser
Default constructor.
VhdlTestbench - Class in ru.ispras.retrascope.basis
The representation of a VHDL testbench.
VhdlTestbench(String, Set<Path>) - Constructor for class ru.ispras.retrascope.basis.VhdlTestbench
Constructs a new VHDL testbench with the specified testbench file and additional files (for example, test pattern and library files).
visit(Iterable<CfgModelNode>) - Method in class ru.ispras.retrascope.model.cfg.CfgWalker
Visits a sequence of control flow graph model nodes.
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.testbench.TestWalker
Visits the specified event.
visitEventList(EventList) - Method in class ru.ispras.retrascope.result.testbench.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(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgWalker
Visits the specified node.
visitor - Variable in class ru.ispras.retrascope.engine.efsm.EfsmEngine
 
visitSequence(Sequence) - Method in class ru.ispras.retrascope.result.testbench.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.testbench.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.testbench.TestWalker
Visits a variable with the specified name and value.
visitVector(Vector) - Method in class ru.ispras.retrascope.result.testbench.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

Wait - Class in ru.ispras.retrascope.model.cfg
Wait node of control flow graph model.
Wait(EventList, Node) - Constructor for class ru.ispras.retrascope.model.cfg.Wait
Constructs node object with the specified EventList that is non-empty collection of Event events and the specified Node condition.
Wait(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.Wait
Constructs object with the specified EventList that is non-empty collection of Event events.
Wait(Node) - Constructor for class ru.ispras.retrascope.model.cfg.Wait
Constructs node object with the specified Node condition.
WARNING - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level indicating a potential problem.

X

XmlTestParser - Class in ru.ispras.retrascope.parser.test
The class for unmarshalling tests from XML files.
XmlTestParser() - Constructor for class ru.ispras.retrascope.parser.test.XmlTestParser
Creates a new XML test parser.
A B C D E F G H I J L M N O P R S T U V W X