- 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
-
- 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
-
- CfgDfsVisitorBackend() - Constructor for class ru.ispras.retrascope.engine.cfg.CfgDfsVisitorBackend
-
- CfgDfsWrVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
-
- 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
-
- 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
-
- CfgOneAssignmentProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
-
- CfgSignalInterface - Class in ru.ispras.retrascope.result.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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- EfsmFatePlusTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
-
Constructs a generator.
- EfsmFateTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
-
- EfsmFateTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
-
Constructs a generator.
- EfsmGraphMlPrinter - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
-
EFSM printer to GraphML format.
- EfsmGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
The default constructor.
- EfsmGraphMlVisitor - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
-
EFSM visitor for GraphML printer.
- EfsmGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
- 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
-
- 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.
- 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
-
- 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
-
- 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.
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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.
- 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.