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

A

Action - Class in ru.ispras.retrascope.model.efsm
Sequence of Assignment statements.
Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs object with the specified assignment.
Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
Constructs object with the specified list of assignments.
add(Entity) - Method in class ru.ispras.retrascope.basis.Arguments
 
add(Engine) - Method in class ru.ispras.retrascope.basis.EngineRegistry
Adds an engine into the configuration.
add(Entity) - Method in class ru.ispras.retrascope.basis.Entity
Adds a given entity to this one.
add(String) - Method in class ru.ispras.retrascope.basis.FileNames
Adds a given file name to the list.
add(Entity) - Method in class ru.ispras.retrascope.basis.FileNames
 
add(Entity) - Method in class ru.ispras.retrascope.basis.Void
 
add(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds event.
add(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 specified entity.
add(Entity) - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
 
add(Entity) - Method in class ru.ispras.retrascope.result.conflict.ConflictModel
 
add(Entity) - Method in class ru.ispras.retrascope.result.test.Sequence
 
add(Entity) - Method in class ru.ispras.retrascope.result.test.Test
Adds sequences of the specified test to this test.
addAssignment(Assignment) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Adds assignment.
addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Adds assignment statement.
addAssignments(List<Assignment>) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Appends assignments list to the last assignment of this object.
addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Appends assignments list to the last assignment of basic block.
addAsSink(Collection<CfgNode>, CfgNode) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Substitutes internal sink node by the specified node and adds it to the specified collection.
addAsSource(Collection<CfgNode>, CfgNode) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Substitutes internal source node by the specified node and adds it to the specified collection.
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. assignment) to CFG.
addChild(CfgModelNode) - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Adds child node.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Adds child node.
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, because object does not have child nodes.
addChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Switch
Adds the specified child node.
addClock(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Adds the specified clock event to this object's collection.
addClocks(Collection<Event>) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Adds the specified clock events collection to the object's collection.
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.
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.test.Vector
Adds the specified event to the vector.
addEvents(Collection<? extends Event>) - Method in class ru.ispras.retrascope.model.basis.EventList
Adds a collection of events.
addEvents(Collection<Event>) - Method in class ru.ispras.retrascope.result.test.Vector
Adds the specified events to this vector.
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.basis.Model
Adds a new inner variable with the specified name and type to this model.
addInnerVariable(String, DataType) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
addInput(String, DataType) - Method in class ru.ispras.retrascope.model.basis.Model
Adds a new input with the specified name and type to this model.
addInput(String, DataType) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
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.
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 the specified meta-information 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.
addNode(CfgNode) - Method in class ru.ispras.retrascope.model.cfg.Process
Adds control flow graph node.
addNodes(Collection<CfgNode>) - Method in class ru.ispras.retrascope.model.cfg.Process
Adds control flow graph nodes collection.
addOutput(String, DataType) - Method in class ru.ispras.retrascope.model.basis.Model
Adds a new output with the specified name and type to this model.
addOutput(String, DataType) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
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 interface 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
Adds parent node.
addResetGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified guarded action to this EFSM.
addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
Adds the specified sequence to this test.
addSequences(List<Sequence>) - Method in class ru.ispras.retrascope.result.test.Test
Adds the specified sequences to this test.
addState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Adds the specified state to this EFSM.
addTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.Vector
Adds the specified transaction to this vector.
addValue(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.Case
Adds the specified value.
addVariable(String, NodeValue) - Method in class ru.ispras.retrascope.result.test.Transaction
Adds a variable with the specified name and value to this transaction.
addVariable(String, NodeOperation) - Method in class ru.ispras.retrascope.result.test.Transaction
Adds a variable with the specified name and value to this transaction.
addVector(Vector) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vector to the end of this sequence.
addVectors(List<Vector>) - Method in class ru.ispras.retrascope.result.test.Sequence
Adds the specified vectors to the end of this sequence.
append(List<CfgNode>) - Method in class ru.ispras.retrascope.model.cfg.Process
Appends another control flow graph nodes collection.
applyBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Process
Applies bindings to process control flow graph and sensitivity list.
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
Default constructor.
Assignment(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified target variable and value expression.
Assignment(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
Constructs object with the specified target non-ranged variable and value expression.
AssignmentContainer - Interface in ru.ispras.retrascope.model.basis
Container of assignments.
AtomicTestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an atomic test generator, that is, test generator operating at the sequence-level instead of test-level.
AtomicTestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
 

B

Backend - Class in ru.ispras.retrascope.basis
The after-engine component.
Backend() - Constructor for class ru.ispras.retrascope.basis.Backend
 
backtrack(List<EfsmTransition>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
BasicBlock - Class in ru.ispras.retrascope.model.cfg
Basic block node of process' control flow graph.
BasicBlock(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object of the specified type flag.
BasicBlock(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignments and the type flag.
BasicBlock(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified collection of assignments.
BasicBlock(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignment and the flag type.
BasicBlock(Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object with the specified assignment and of non-concurrent type.
BasicBlock(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object that contains one assignment with the specified target and value.
BasicBlock(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.BasicBlock
Constructs object that contains one assignment with the specified target and value.

C

Case - Class in ru.ispras.retrascope.model.cfg
Case node of control flow graph.
Case(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Default constructor.
Case(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified possible value.
Case(Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified possible values.
Case(Collection<NodeValue>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.Case
Constructs node with the specified values and default flag.
CfgBasicBlockSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
The control flow graph model visitor that transforms sequences of basic block nodes.
CfgBasicBlockSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
Default constructor.
CfgCgaaTransformer - Class in ru.ispras.retrascope.engine.cfg.transformer.cgaa
Transformer to clocked guarded atomic actions model.
CfgCgaaTransformer() - Constructor for class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
Default constructor.
CfgConcurrentBasicBlockBackend - Class in ru.ispras.retrascope.parser.basis.backend
The control flow graph model visitor that transforms concurrent basic block nodes.
CfgConcurrentBasicBlockBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
Default constructor.
CfgDefaultVisitor - Class in ru.ispras.retrascope.model.cfg
Default visitor for control flow graph model.
CfgDefaultVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
Default constructor.
CfgDfsVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Base class for visitor-based back-ends running in "depth-first-search" mode.
CfgDfsVisitorBackend(CfgVisitor) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgDfsVisitorBackend
Constructs object with the specified visitor.
CfgDfsWrVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Base class for visitor-based back-ends running in "depth-first-search-without-repeat" mode.
CfgDfsWrVisitorBackend(CfgVisitor) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgDfsWrVisitorBackend
Constructs object with the specified visitor.
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, CfgWalker...) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgEngine
Constructs object with the specified identifier, input/output types, walkers.
CfgGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
Control flow graph printer to GraphML format.
CfgGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Default constructor.
CfgGraphMlVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml
Control flow graph visitor for GraphML printer.
CfgGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
Default constructor.
CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
Control flow grpah model interface.
CfgInterface() - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgInterface
Default constructor.
CfgInterfaceExtractor - Class in ru.ispras.retrascope.engine.cfg.extractor.iface
Interface extractor for control flow graph model.
CfgInterfaceExtractor() - Constructor for class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
Default constructor.
CfgLoopBackend - Class in ru.ispras.retrascope.parser.basis.backend
The control flow graph model visitor that detects loops or cycles and transforms them.
CfgLoopBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
Default constructor.
CfgMergeSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
Control flow graph model visitor that detects sequences of merge nodes and transforms them.
CfgMergeSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
Default constructor.
CfgModel - Class in ru.ispras.retrascope.model.cfg
Control flow graph model.
CfgModel() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModel
Default constructor.
CfgModelNode - Interface in ru.ispras.retrascope.model.cfg
Node of control flow graph model.
CfgNode - Class in ru.ispras.retrascope.model.cfg
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
Control flow graph model visitor that detects one-basic-block processes and transforms them.
CfgOneAssignmentProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
Default constructor.
CfgSignalInterface - Class in ru.ispras.retrascope.result.cfginterface
Signal part of control flow graph model interface.
CfgSignalInterface(Collection<NodeVariable>, Collection<NodeVariable>) - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
Constructs object with the specified input and output signals.
CfgSwitchSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
Control flow graph model visitor that detects and transforms sequences of switch nodes.
CfgSwitchSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
Default constructor.
CfgUtils - Class in ru.ispras.retrascope.model.cfg
Utility methods for control flow graph model and it's components.
CfgVisitor - Interface in ru.ispras.retrascope.model.cfg
Control flow graph model visitor.
CfgVisitor.Status - Enum in ru.ispras.retrascope.model.cfg
 
CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
Base class for control flow graph model visitor-based back-ends.
CfgVisitorBackend(CfgVisitor, CfgWalkerMode) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
Creates object with the specified model visitor and walking mode.
CfgWaitBackend - Class in ru.ispras.retrascope.parser.basis.backend
Control flow graph model visitor that detects and transforms wait nodes.
CfgWaitBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
Default constructor.
CfgWalker - Class in ru.ispras.retrascope.model.cfg
Control flow graph model walker.
CfgWalker(CfgVisitor) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWalker
Constructs object with the specified visitor.
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
Walking model of control flow graph model walker.
CgaaEfsmTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.efsm
The transformer of clocked guarded actions container CgaaModel into extended finite state machine EfsmModel.
CgaaEfsmTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
Default constructor.
CgaaGraphMlPrinter - Class in ru.ispras.retrascope.engine.cgaa.printer.graphml
Clocked guarded atomic actions model printer to GraphML format.
CgaaGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
Default constructor.
CgaaModel - Class in ru.ispras.retrascope.model.cgaa
Clocked Guarded Atomic Actions (i.e.
CgaaModel(CfgModel) - Constructor for class ru.ispras.retrascope.model.cgaa.CgaaModel
Constructs an object with the specified control flow graph internal model.
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 events.
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
 
compatibleWith(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is compatible with the specified one.
conditionMet(Object) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.SearchCondition
Checks whether the stop condition is reached.
Configuration - Class in ru.ispras.retrascope.basis
This class implements tool Retrascope configuration.
Configuration() - Constructor for class ru.ispras.retrascope.basis.Configuration
 
configure(String[]) - Method in class ru.ispras.retrascope.basis.Configuration
Configures this object using command line arguments.
Conflict - Class in ru.ispras.retrascope.result.conflict
Represents the conflict of two Models.
Conflict(Model, Model, NodeVariable, Conflict.Types, List<GuardedAction>) - Constructor for class ru.ispras.retrascope.result.conflict.Conflict
Constructs EfsmConflict using the specified values.
Conflict() - Constructor for class ru.ispras.retrascope.result.conflict.Conflict
 
Conflict.Types - Enum in ru.ispras.retrascope.result.conflict
 
ConflictModel - Class in ru.ispras.retrascope.result.conflict
Represents the result of EfsmConflictExtractor engine execution.
ConflictModel() - Constructor for class ru.ispras.retrascope.result.conflict.ConflictModel
Constructs the ConflictModel class.
ConflictModel(Collection<Conflict>) - Constructor for class ru.ispras.retrascope.result.conflict.ConflictModel
Constructs the ConflictModel class using the specified set of conflicts.
ConflictXmlPrinter - Class in ru.ispras.retrascope.engine.conflict.printer.xml
This engine prints conflicts acquired by the EfsmConflictExtractor to an XML file.
ConflictXmlPrinter() - Constructor for class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
Default constructor.
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 this object contains the specified event.
contains(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks rather this object contains an event on the specified variable.
containsCondition() - Method in class ru.ispras.retrascope.model.cfg.Wait
Checks rather object contains condition,
containsInnerVariable(String) - Method in class ru.ispras.retrascope.model.basis.Model
Checks if this model has an inner variable with the specified name.
containsInnerVariable(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsInput(String) - Method in class ru.ispras.retrascope.model.basis.Model
Checks if this model has an input with the specified name.
containsInput(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Checks rather this object contain input signal variable with the specified name.
containsInput(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsInvariant() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
Checks rather object contains invariant.
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.basis.Model
Checks if this model has an output with the specified name.
containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Checks rather this object contain output signal variable with the specified name.
containsOutput(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
containsRegister(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Checks rather this object contain register variable with the specified name.
containsState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if the specified state is in this EFSM.
containsStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if this EFSM contains states or not.
containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
containsVariable(String) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Checks if the specified variable is stored in this memory.
containsVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Checks does this object contain the specified variable.
containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Checks rather object contains a variable with the specified name.
containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Transaction
Checks if the specified variable is in this transaction.
containsVariable(String) - Method in class ru.ispras.retrascope.result.test.Vector
Checks if the specified variable is in this vector.
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(Node) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Creates a new state based on the specified logical expression and adds it into this EFSM.
createTransition(EfsmState, EfsmState, GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Creates a new transition with the specified guarded action between the specified states and adds it into this EFSM.
CROPPING_TEXT - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 

D

data - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariable
 
deannotateInputs(Iterable<Variable>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
deannotateName(String) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
 
DEBUG - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for information for debugging.
DeciderLikeTestPatternPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench
The class for printing tests to files in the DECIDER-like manner.
declareNewVariable(DataType) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares new variable of the specified data type.
declareVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares non-existing variable.
declareVariable(NodeVariable, Node) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified variable with the specified invariant.
declareVariable(NodeVariable, Node, Node) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified variable with the specified initial value and the specified invariant.
declareVariables(Map<NodeVariable, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares the specified collection of variables.
declareVariableVersion(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Declares a new version of already declared variable.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Assignment
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Event
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns a deep copy of this object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.Range
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Creates a deep copy of the current object.
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Case
 
deepCopy() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Returns a copy of this node.
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Module
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Process
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Source
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
deepCopy() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
defines(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine defines an entity of the given type.
DirectedFateGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The FATE test generator which deals with single EFSM and operates at the vector-level.
DirectedFateGenerator(Efsm, int, Map<EfsmTransition, Set<ReachabilityInformation>>) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Constructs a test generator for the specified EFSM with the specified parameters.
DirectedFatePlusGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The FATE test generator which deals with single EFSM and operates at the vector-level.
DirectedFatePlusGenerator(Efsm, int, Map<EfsmTransition, Set<ReachabilityInformation>>) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Constructs a test generator for the specified EFSM with the specified parameters.

E

Efsm - Class in ru.ispras.retrascope.model.efsm
The representation of an extended finite state machine.
Efsm(String) - Constructor for class ru.ispras.retrascope.model.efsm.Efsm
Constructs an empty object with the specified name.
Efsm.TransitionWeightBasis - Enum in ru.ispras.retrascope.model.efsm
 
EfsmBfs - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
This class implements the Breadth-First Search algorithm.
EfsmBfs() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
The default constructor.
EfsmConflictExtractor - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict
This engine is used to detect possible conflicts among specified EFSMs.
EfsmConflictExtractor() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor
The default constructor.
EfsmDfs - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
This class implements the Depth-First Search algorithm.
EfsmDfs() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
The default constructor.
EfsmEngine - Class in ru.ispras.retrascope.engine.efsm
The abstract class for tools which deal with EFSMs.
EfsmEngine(String, EfsmModelVisitor, EntityType) - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmEngine
Constructs an EFSM engine with the specified ID, visitor, and output type.
EfsmFatePlusTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
EfsmFatePlusTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
Constructs a generator.
EfsmFateTestGenerator - Class in ru.ispras.retrascope.engine.efsm.generator.test.fate
The test generator for EFSM-based hardware models based on the algorithm described in the article Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
EfsmFateTestGenerator() - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
Constructs a generator.
EfsmGraphMlPrinter - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
EFSM printer to GraphML format.
EfsmGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The default constructor.
EfsmGraphMlVisitor - Class in ru.ispras.retrascope.engine.efsm.printer.graphml
EFSM visitor for GraphML printer.
EfsmGraphMlVisitor() - Constructor for class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
EfsmModel - Class in ru.ispras.retrascope.model.efsm
Entity representation of EFSM collection.
EfsmModel() - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an empty EfsmModel.
EfsmModel(Efsm) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EfsmModel above the specified EFSM.
EfsmModel(List<Efsm>) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModel
Creates an EfsmModel above the specified EFSMs.
EfsmModelVisitor - Interface in ru.ispras.retrascope.model.efsm
The interface for EFSM model visitors.
EfsmModelWalker - Class in ru.ispras.retrascope.model.efsm
The walker for the EfsmModel class.
EfsmModelWalker(EfsmModelVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmModelWalker
Constructs a walker for the specified visitor.
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() - Constructor for class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Constructs an empty coverage.
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.
EfsmUtils - Class in ru.ispras.retrascope.model.efsm
Utility methods for extended finite state machine model and it's components.
EfsmVisitor - Interface in ru.ispras.retrascope.model.efsm
The interface for EFSM visitors.
EfsmWalker - Class in ru.ispras.retrascope.model.efsm
The EFSM walker.
EfsmWalker(EfsmVisitor) - Constructor for class ru.ispras.retrascope.model.efsm.EfsmWalker
Constructs an EFSM walker for the specified visitor.
enableCycleDependencies - Static variable in class ru.ispras.retrascope.basis.EngineRegistry
Enables/disables cycle dependencies between engines.
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
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
The engine identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
The engine identifier.
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.testbench.vhdl.TestVhdlTestbenchPrinter
The engine ID of all TestVhdlTestbenchPrinter 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.parser.verilog.VerilogParser
The entity identifier.
ENGINE_ID - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The engine identifier.
ENGINE_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
EngineEventHandler - Interface in ru.ispras.retrascope.basis
This is an engine event handler interface.
EngineRegistry - Class in ru.ispras.retrascope.basis
This class implements an Engine engine registry.
EngineRegistry() - Constructor for class ru.ispras.retrascope.basis.EngineRegistry
 
Entity - Class in ru.ispras.retrascope.basis
This is a base class of an entity, which is a collection of data that can be processed by some Engine engine(s).
Entity(EntityType) - Constructor for class ru.ispras.retrascope.basis.Entity
Constructs an entity with a given type.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.parser.test.TestFileNames
The entity type ID of all TestFileNames instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.test.Sequence
The entity type ID of all Sequence instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.test.Test
The entity type ID of all Test instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.testbench.VerilogTestbench
The entity type ID of all VerilogTestbench instances.
ENTITY_TYPE_ID - Static variable in class ru.ispras.retrascope.result.testbench.VhdlTestbench
The entity type ID of all VhdlTestbench instances.
EntityType - Class in ru.ispras.retrascope.basis
This class represents an entity identifier.
equals(Object) - Method in class ru.ispras.retrascope.basis.Engine
 
equals(Object) - Method in class ru.ispras.retrascope.basis.Entity
 
equals(Object) - Method in class ru.ispras.retrascope.basis.EntityType
 
equals(Object) - Method in class ru.ispras.retrascope.basis.FileNames
 
equals(Object) - Method in class ru.ispras.retrascope.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.MetaInfo
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.Range
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
 
equals(Object) - Method in class ru.ispras.retrascope.model.basis.VariableData
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.Module
 
equals(Object) - Method in class ru.ispras.retrascope.model.cfg.Process
 
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.model.efsm.GuardedAction
 
equals(Object) - Method in class ru.ispras.retrascope.result.test.Sequence
Compares the specified object with this sequence for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Test
Compares the specified object with this test for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Transaction
Compares the specified object with this transaction for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.test.Vector
Compares the specified object with this vector for equality.
equals(Object) - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
ERROR - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level indicating a serious failure.
Event - Class in ru.ispras.retrascope.model.basis
Variable (signal) occurrence.
Event(RangedVariable, EventType) - Constructor for class ru.ispras.retrascope.model.basis.Event
Constructs an object with the specified variable and event type.
Event(RangedVariable) - Constructor for class ru.ispras.retrascope.model.basis.Event
Constructs an object with the specified variable and of any edge event type.
EventDrivenModule - Interface in ru.ispras.retrascope.model.basis
The interface for modules which are driven by some external events (for example, clock or reset signals).
EventList - Class in ru.ispras.retrascope.model.basis
Collection of events.
EventList() - Constructor for class ru.ispras.retrascope.model.basis.EventList
Default constructor.
EventList(Set<Event>) - Constructor for class ru.ispras.retrascope.model.basis.EventList
Constructs object with the specified events collection.
EventType - Enum in ru.ispras.retrascope.model.basis
Event types.

F

FILE_NAME - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
The command-line parameter.
FileCreator - Class in ru.ispras.retrascope.basis
This class implements utility methods for creating files (with engine results).
FileNames - Class in ru.ispras.retrascope.basis
This class represents a collection of file names.
FileNames(String) - Constructor for class ru.ispras.retrascope.basis.FileNames
Constructs a file names entity for a given type.
FORM_DIAMOND - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_ELLIPSE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_OCTAGON - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_PARALLELOGRAM - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_RECTANGLE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRAPEZOID - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRAPEZOID2 - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORM_TRIANGLE - Static variable in class ru.ispras.retrascope.result.graphml.GraphMlUtils
 
FORMAT - Static variable in class ru.ispras.retrascope.Retrascope
 
FULL_COVERAGE_PERCENTAGE - Static variable in class ru.ispras.retrascope.engine.basis.TestCoverage
The number representing full coverage percentage, that is, BigDecimal.valueOf(100).

G

get(String) - Static method in class ru.ispras.retrascope.basis.EntityType
Returns the entity type with the given identifier.
getAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns action.
getAdditionalFiles() - Method in class ru.ispras.retrascope.result.testbench.Testbench
Returns additional files (for example, test pattern and library files) related to this testbench.
getArguments() - Method in class ru.ispras.retrascope.basis.Arguments
Returns the unparsed part of the command line (typically, list of files).
getArray() - Method in class ru.ispras.retrascope.basis.FileNames
Returns the file names (as an array).
getAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Returns all assignments.
getAssignments() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Returns all block assignments.
getAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns assignments.
getBindings() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns bindings.
getCfgModel() - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Returns constructed CfgModel.
getChildren() - Method in interface 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 clock events.
getCommandLine() - Method in class ru.ispras.retrascope.basis.Arguments
Returns the command line having been set before.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.Switch
Returns Node condition.
getCondition() - Method in class ru.ispras.retrascope.model.cfg.Wait
Returns the Node condition.
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.
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.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.Substitutor
 
getDataType(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns data type of the declared variable with the specified name.
getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns the declaration of the specified variable.
getDeclarations() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns 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.Merge
 
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.cfg.Wait
 
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 description of object that is 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 interface 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.ToolRun
Returns the tool chain to be used.
getEngineRegistry() - Static method in class ru.ispras.retrascope.Retrascope
Returns the engine registry.
getEngines() - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns the collection of all available engines.
getEngines() - Method in class ru.ispras.retrascope.basis.ToolChain
Returns all engines of the tool chain.
getEntityType() - Method in class ru.ispras.retrascope.basis.Entity
Returns the type of the entity (a unique identifier).
getEvent() - Method in class ru.ispras.retrascope.model.cfg.Switch
Returns event.
getEventList() - Method in class ru.ispras.retrascope.model.cfg.Wait
Returns the EventList object.
getEventList() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns list of object's clock events.
getEventList() - Method in class ru.ispras.retrascope.result.test.Sequence
Returns an EventList object associated with this sequence.
getEventList() - Method in class ru.ispras.retrascope.result.test.Vector
Returns an EventList associated with this vector.
getEvents() - Method in class ru.ispras.retrascope.model.basis.EventList
Returns a collection of events.
getExpression() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns an expression which this state is represented by.
getFirstNode(Collection<CfgNode>, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns first node in the specified collection with the specified identifier.
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.
getId() - Method in class ru.ispras.retrascope.basis.Engine
Returns the unique engine identifier.
getId() - Method in class ru.ispras.retrascope.basis.EntityType
Returns the entity type identifier.
getId() - Method in class ru.ispras.retrascope.model.basis.State
Returns unique string identifier of this object.
getId() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Returns unique node identifier in string form.
getId() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
getId() - Method in class ru.ispras.retrascope.model.cfg.Module
 
getId() - Method in class ru.ispras.retrascope.model.cfg.Process
 
getId() - Method in class ru.ispras.retrascope.model.efsm.Action
Returns unique string identifier of this object.
getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
Returns unique string identifier of this object.
getId() - Method in class ru.ispras.retrascope.model.efsm.Guard
Returns unique string identifier of this object.
getIncomingTransitions(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns transitions which ends at the specified state.
getInitialState() - Method in class ru.ispras.retrascope.model.basis.Model
Returns an initial state of this model.
getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns an initial state of this EFSM.
getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns initial value of the declared variable with the specified name.
getInitialValue() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
Returns initial value of declared variable.
getInitVisitor() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
Returns initial visitor.
getInnerDataType(String) - Method in class ru.ispras.retrascope.model.basis.Model
Returns a data type of the specified inner variable of this model.
getInnerDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInnerDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of the specified inner variables of this model.
getInnerDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of all inner variables of this model.
getInnerDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInnerDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
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.basis.Model
Returns a data type of the specified input variable of this model.
getInputDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of the specified input variables of this model.
getInputDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of all input variables of this model.
getInputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getInputNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns a collection of names of the declared input signal variables.
getInputs() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns all the variables, that are of input signal type, or empty collection, if there are no such.
getInputs() - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
Returns input signals.
getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
Returns the input types of the engine (i.e., the types of input entities).
getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns invariant of the declared variable with the specified name.
getInvariant() - Method in class ru.ispras.retrascope.model.basis.VariableDeclaration
Returns variable invariant.
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(List<CfgNode>, CfgNodeType) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns last node in the specified list with the specified type.
getLastTraversedTransition() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a transition which was traversed by this simulator on last cycle.
getLength() - Method in class ru.ispras.retrascope.result.test.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 the internal CfgModel model.
getModelPair() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the pair of models.
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.cfg.Module
Returns name.
getName() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns a name of this EFSM.
getNextSequenceIterator() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns an iterator which enables to retrieve a next sequence of vectors produced by this generator.
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(Collection<T>, CfgNodeType) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns node of the specified type that is in the specified collection.
getNodes() - Method in class ru.ispras.retrascope.model.cfg.Process
Returns all 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 interface 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 interface 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.basis.Model
Returns a data type of the specified output of this model.
getOutputDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of the specified output variables of this model.
getOutputDataTypes() - Method in class ru.ispras.retrascope.model.basis.Model
Returns data types of all output signals of this model.
getOutputDataTypes(Collection<String>) - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputDataTypes() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
getOutputNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns a collection of names of the declared output signal variables.
getOutputs() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns all variables that are of output signal type, or empty collection, if there are no such.
getOutputs() - Method in class ru.ispras.retrascope.result.cfginterface.CfgSignalInterface
Returns output signals.
getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
Returns the output type of the engine (i.e., the type of output entities).
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 interface 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.model.cfg.CfgUtils
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.
getPredicates() - Method in class ru.ispras.retrascope.model.efsm.Guard
Returns collection of guard predicates.
getProcesses() - Method in class ru.ispras.retrascope.model.cfg.Module
Returns processes.
getRange() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns range.
getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Event
Returns variable.
getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns a collection of names of the declared register variables.
getResetGuardedActions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns reset guarded actions of this EFSM, that is, such guarded actions which represent an initialisation of this EFSM.
getResultingDependencies(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns mapping between modified variables and affecting variables.
getResultingSubstitutions(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
Returns mapping between variables and corresponding substitutions.
getRun(String[]) - Static method in class ru.ispras.retrascope.Retrascope
Analyzes the command line and returns the run information.
getSensitivityList() - Method in class ru.ispras.retrascope.model.cfg.Process
Returns EventList sensitivity list.
getSequenceCoverage() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns a coverage reached during generation of last sequence.
getSequenceCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
Returns a totalCoverage reached during generation.
getSequenceCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
Returns a totalCoverage reached during generation.
getSequences() - Method in class ru.ispras.retrascope.result.test.Test
Returns a list of sequences which this test consists of.
getSequencesAmount() - Method in class ru.ispras.retrascope.result.test.Test
Returns an amount of sequences which this test consists of.
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(Collection<CfgNode>) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns sink node if it exists in the specified collection.
getSource(Collection<CfgNode>) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns source node if it exists in the specified collection.
getSources() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
Returns the sources entities to be analyzed.
getSourceState() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
Returns a state which is the start point of this transition.
getSourceStates(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns states which are start points of incoming transitions of the specified state.
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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
getStatus() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Returns the current status of the visitor.
getStylePrinter() - Method in class ru.ispras.retrascope.basis.Configuration
Returns expression style printer.
getTarget() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns defined variable.
getTargets() - Method in class ru.ispras.retrascope.basis.EngineRegistry
Returns the collection of all available targets (output types of engines).
getTestbenchFile() - Method in class ru.ispras.retrascope.result.testbench.Testbench
Returns a path to the testbench file.
getTotalCoverage() - Method in class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
Returns a coverage reached by all sequences previously generated by this generator.
getTotalCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator
 
getTotalCoverage() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFatePlusGenerator
 
getTransactions() - Method in class ru.ispras.retrascope.result.test.Vector
Returns all transactions included in this vector.
getTransitions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Returns all transitions of this EFSM.
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 type.
getType() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
getType() - Method in class ru.ispras.retrascope.model.cfg.Case
 
getType() - Method in interface 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 that are used in this object.
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.Merge
 
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.cfg.Wait
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.Action
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
getUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
getUsesByAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns variables that are used in Action action.
getUsesByGuard() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Returns variables that are used in Guard condition.
getValue(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
Returns the parameter value.
getValue(Parameter, String) - Method in class ru.ispras.retrascope.basis.Arguments
Returns the parameter value.
getValue() - Method in class ru.ispras.retrascope.model.basis.Assignment
Returns value expression.
getValue(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
getValue(String) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Returns a value of the specified variable.
getValue(String) - Method in class ru.ispras.retrascope.result.test.Transaction
Returns a value of the specified variable from this transaction.
getValue(String) - Method in class ru.ispras.retrascope.result.test.Vector
Returns a value of the specified variable from this vector.
getValues() - Method in class ru.ispras.retrascope.basis.Parameter
Returns possible values of the parameter.
getValues(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.test.Transaction
Returns a map containing mappings between names and values for all variables of this transaction.
getVariable() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns variable.
getVariable(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns declared variable with specified name.
getVariable() - Method in class ru.ispras.retrascope.result.conflict.Conflict
Returns the conflicting variable.
getVariableContainer(CfgModelNode, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Returns node that contains a declaration of variable with the specified name.
getVariableName() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Returns variable name.
getVariableNames() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns a collection of this object variables names.
getVariables() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Returns declared variables.
getVariablesMapping() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Mapping of internal variables names 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.test.Sequence
Returns a vector with the specified index from this sequence.
getVectors() - Method in class ru.ispras.retrascope.result.test.Sequence
Returns a list containing all vectors of this sequence.
getVectorsAmount() - Method in class ru.ispras.retrascope.result.test.Test
Returns an amount of vectors which this test consists of.
getVisitor() - Method in class ru.ispras.retrascope.model.cfg.CfgWalker
Returns visitor.
getWalkers() - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
Returns internal walkers.
getYoung() - Method in class ru.ispras.retrascope.model.basis.Range
Returns young index.
GraphMlUtils - Class in ru.ispras.retrascope.result.graphml
GraphML utils.
Guard - Class in ru.ispras.retrascope.model.efsm
Boolean condition that consists of some predicates.
Guard() - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Default constructor.
Guard(Node) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs object with the specified boolean predicate.
Guard(Collection<Node>) - Constructor for class ru.ispras.retrascope.model.efsm.Guard
Constructs object from the specified list of Boolean Node objects.
GuardedAction - Class in ru.ispras.retrascope.model.efsm
Clocked guarded action.
GuardedAction(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
Constructs object with the specified guard condition and action.

H

hasArgument() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether an argument is required after the parameter.
hasBackEnds() - Method in class ru.ispras.retrascope.basis.Engine
Returns true if engine has back-ends, false otherwise.
hasChildren() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has child nodes.
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasChildren() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
hashCode() - Method in class ru.ispras.retrascope.basis.Engine
 
hashCode() - Method in class ru.ispras.retrascope.basis.Entity
 
hashCode() - Method in class ru.ispras.retrascope.basis.EntityType
 
hashCode() - Method in class ru.ispras.retrascope.basis.FileNames
 
hashCode() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Event
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.EventList
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.MetaInfo
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.Range
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableContainer
 
hashCode() - Method in class ru.ispras.retrascope.model.basis.VariableData
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hashCode() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Action
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmModel
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
hashCode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Sequence
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Test
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Transaction
 
hashCode() - Method in class ru.ispras.retrascope.result.test.Vector
 
hashCode() - Method in class ru.ispras.retrascope.result.testbench.Testbench
 
HashMapMemory - Class in ru.ispras.retrascope.model.basis.memory
The hash map-based store of variables.
HashMapMemory(Collection<String>) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs an empty (values of variables are equal to null) hash map-based store of variables.
HashMapMemory(HashMapMemory) - Constructor for class ru.ispras.retrascope.model.basis.memory.HashMapMemory
Constructs hash map-based store of variables as a copy of the specified HashMapMemory instance.
hasMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Checks rather object contains meta-information of the specified predefined type.
hasMetaInfo(String) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Checks rather object contains meta-information for the specified user-defined type.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
hasNext() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Shows whether the algorithm can proceed and try to obtain alternative results.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.EfsmTransitionChooser
Checks if there is at least one non-chosen transition now.
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearestUncoveredEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
 
hasNext() - Method in class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Case
 
hasOnlyChild() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has exactly one child node.
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Source
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
hasOnlyChild() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Case
 
hasOnlyParent() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has exactly one parent node.
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Source
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Switch
 
hasOnlyParent() - Method in class ru.ispras.retrascope.model.cfg.Wait
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Case
 
hasParents() - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Checks rather node has parent nodes.
hasParents() - Method in class ru.ispras.retrascope.model.cfg.CfgNode
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Merge
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Module
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Process
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Sink
 
hasParents() - Method in class ru.ispras.retrascope.model.cfg.Source
 
hasValue() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
hasValue() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
hasValue() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Shows whether the result has been obtained during the search.
HdlParser - Class in ru.ispras.retrascope.parser.basis
HDL parser basic class.
HdlParser(String) - Constructor for class ru.ispras.retrascope.parser.basis.HdlParser
Constructs parser with the specified identifier.
help(String) - Method in class ru.ispras.retrascope.basis.Parameters
Prints the help message.
HELP_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 

I

include(EfsmTransitionCoverage) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Includes the specified coverage to this coverage.
INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
The logging level for informational messages.
init(Efsm, EfsmTransition, SearchCondition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
init(Efsm, EfsmTransition, SearchCondition) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
init(Efsm, EfsmTransition, SearchCondition) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Used to initialize the searcher.
initFile(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
Create GraphML file with the specified name.
initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Initialize visitor with the graphML file name.
initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
Initializes visitor with the GraphML file name.
initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
Initialises this EFSM engine with the specified inputs.
initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
 
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.CfgEngine
Initializes engine with the specified inputs.
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
 
initialize(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
Initializes object with the specified file name.
initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
 
instantiate(String, Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.Module
Instantiates this object with the specified name and bindings.
isCompatible(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks rather this object is compatible with the specified one.
isConcurrent() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Checks rather object contains only concurrent assignments.
isCovered(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Checks if the specified transition is covered.
isDefault() - Method in class ru.ispras.retrascope.model.cfg.Case
Checks rather case node is default.
isEmpty() - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.test.Transaction
Checks if this transaction is empty.
isEmpty() - Method in class ru.ispras.retrascope.result.test.Vector
Checks if this vector is empty.
isFull() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Tests if this coverage is full.
isFull() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Tests if this coverage is full, that is, there are no uncovered transitions.
isInitial() - Method in class ru.ispras.retrascope.model.cfg.Process
Checks rather process is of initial kind.
isInputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks rather the specified identifier is of input or input-output signal type.
isOutputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check rather the specified identifier is of input-output or output type.
isRanged() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
Checks rather this is ranged.
isReachable(EfsmState, EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if there is a path from the specified source state to the specified destination state.
isRegister(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Check rather the specified identifier is of register type.
isSensible(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Checks that the specified event is in the object's clock collection.
isSensible(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
Checks if this guarded action is sensible to the specified events.
isSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
Checks rather identifier is of signal type.
isSynchronous() - Method in class ru.ispras.retrascope.model.efsm.Efsm
Checks if this EFSM is synchronous, that is, contains at least one event-sensible guarded action.
isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.Event
Checks rather this object is triggered by the specified one.
isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
Checks if this object is always triggered along with the specified argument.
isType(CfgNodeType, CfgModelNode...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Checks whether the specified nodes are of the specified type.

J

JaxbEfsmAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of Efsm class for Conflicts representation.
JaxbEfsmAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
JaxbEvent - Class in ru.ispras.retrascope.model.basis.jaxb
The representation of Event suitable for JAXB marshalling and unmarshalling.
JaxbEvent() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
JaxbEventAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of Event objects.
JaxbEventAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
JaxbEventList - Class in ru.ispras.retrascope.model.basis.jaxb
The class for mediation during JAXB marshalling/unmarshalling of events.
JaxbEventList() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbEventListAdapter - Class in ru.ispras.retrascope.model.basis.jaxb
The adapter class for JAXB marshalling/unmarshalling of EventList objects.
JaxbEventListAdapter() - Constructor for class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
jaxbEvents - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventList
 
JaxbGuardedActionAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of GuardedAction class for Conflicts representation.
JaxbGuardedActionAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
JaxbNodeVariableAdapter - Class in ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
XML Adapter of NodeVariable class for Conflicts representation.
JaxbNodeVariableAdapter() - Constructor for class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
JaxbVariable - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariable() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariable
 
JaxbVariableList - Class in ru.ispras.retrascope.result.test.jaxb
The class for mediation during JAXB marshalling/unmarshalling of variables.
JaxbVariableList() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableList
 
JaxbVariableMapXmlAdapter - Class in ru.ispras.retrascope.result.test.jaxb
The adapter class for JAXB marshalling/unmarshalling of variables.
JaxbVariableMapXmlAdapter() - Constructor for class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
jaxbVariables - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableList
 

L

limitReached(int) - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.SearchCondition
Checks whether the depth limit is reached.
loadSnapshot(EfsmSimulationSnapshot) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Restores a simulation state from the specified snapshot.
Log - Class in ru.ispras.retrascope.util
This class implements logging facilities.
Log() - Constructor for class ru.ispras.retrascope.util.Log
 
LOG_LEVEL - Static variable in class ru.ispras.retrascope.Retrascope
 
LOG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
LogLevel - Class in ru.ispras.retrascope.util
The class containing Retrascope logging levels.
LogLevel(String, int) - Constructor for class ru.ispras.retrascope.util.LogLevel
Create a named logging level with a given integer value.
LOOP_LIMIT - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
 
LOOP_LIMIT - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
 
LOOP_LIMIT - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
 

M

main(String[], EngineEventHandler) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
main(String[]) - Static method in class ru.ispras.retrascope.Retrascope
Configures and runs the tool chain.
makeSimulationSnapshot() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Returns a snapshot representing a current state of the simulation.
markTransitionAsCovered(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
Marks the specified transition as covered.
marshal(Model) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
marshal(GuardedAction) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
marshal(NodeVariable) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
marshal(Event) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
marshal(EventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
marshal(Map<String, Node>) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
Memory - Interface in ru.ispras.retrascope.model.basis.memory
The interface for a store of variables.
Merge - Class in ru.ispras.retrascope.model.cfg
Merge node of control flow graph.
Merge() - Constructor for class ru.ispras.retrascope.model.cfg.Merge
Default constructor.
MetaInfo - Class in ru.ispras.retrascope.model.basis
Meta-information storage.
MetaInfo() - Constructor for class ru.ispras.retrascope.model.basis.MetaInfo
Default constructor.
MetaInfoType - Enum in ru.ispras.retrascope.model.basis
Predefined meta-information types.
MetaInfoValue - Enum in ru.ispras.retrascope.model.basis
Predefined meta-information values.
minimise(Map<Sequence, EfsmTransitionCoverage>) - Static method in class ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser
Minimises the specified set of sequences by excluding redundant (in terms of coverage) sequences.
Model - Class in ru.ispras.retrascope.model.basis
The abstract representation of a device model encapsulating only a static structure of an original device.
Model() - Constructor for class ru.ispras.retrascope.model.basis.Model
 
Module - Class in ru.ispras.retrascope.model.cfg
Module of control flow graph model.
Module(String) - Constructor for class ru.ispras.retrascope.model.cfg.Module
Constructs object with the specified name.

N

name - Variable in class ru.ispras.retrascope.result.test.jaxb.JaxbVariable
 
NearestUncoveredEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a "nearest uncovered transition" priority-based heuristic for choosing a transitions to traverse.
NearestUncoveredEfsmTransitionChooser(Efsm, EfsmTransitionCoverage) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.NearestUncoveredEfsmTransitionChooser
Creates a new NearestUncoveredEfsmTransitionChooser for the specified EFSM and its coverage.
NEW_VAR_PREFIX - Static variable in class ru.ispras.retrascope.model.basis.VariableContainer
Prefix for new variables that are created by the tool.
newFile(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Creates a new file with the given name.
next() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmBfs
 
next() - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmDfs
 
next() - Method in interface ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher.EfsmPathSearcher
Performs a search until condition is met or the end is reached.

O

onActivityBegin(Activity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onActivityEnd(Activity) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignBegin(Assign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignEnd(Assign) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignmentActionBegin(Action) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentActionBegin(Action) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assignment action has been started.
onAssignmentActionEnd(Action) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentActionEnd(Action) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assignment action has been finished.
onAssignmentBegin(Assignment) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentBegin(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assign statement has been started.
onAssignmentBegin(Assignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignmentEnd(Assignment) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
 
onAssignmentEnd(Assignment) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
Indicates that processing of the specified assign statement has been finished.
onAssignmentEnd(Assignment) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignStatementBegin(AssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAssignStatementEnd(AssignStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAttributeBegin(Attribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onAttributeEnd(Attribute) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onBasicBlockBegin(BasicBlock) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting BasicBlock node.
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onBasicBlockBegin(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onBasicBlockEnd(BasicBlock) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting BasicBlock node.
onBasicBlockEnd(BasicBlock) - Method in class ru.ispras.retrascope.parser.basis.backend.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.model.cfg.CfgDefaultVisitor
 
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.CfgWaitBackend
 
onCaseEnd(Case) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.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
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCfgModelBegin() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onCfgModelBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting CfgModel object.
onCfgModelBegin() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onCfgModelEnd() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onCfgModelEnd() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting CfgModel object.
onCfgModelEnd() - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onCodeBegin(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.test.TestVisitor
Indicates that a walker has encountered the specified event.
onEventListBegin(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified event list.
onEventListEnd(EventList) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that walker has finished walking across the specified event list.
onExpression(Node) - Method in class ru.ispras.retrascope.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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.CfgLoopBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
onMergeBegin(Merge) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onMergeEnd(Merge) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.CfgMergeSequenceBackend
 
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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onModuleBegin(Module) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Module node.
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgConcurrentBasicBlockBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onModuleBegin(Module) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgOneAssignmentProcessBackend
 
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.model.cfg.CfgDefaultVisitor
 
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.CfgLoopBackend
 
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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onProcessBegin(Process) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Process node.
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgBasicBlockSequenceBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
 
onProcessBegin(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgMergeSequenceBackend
 
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.model.cfg.CfgDefaultVisitor
 
onProcessEnd(Process) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Process node.
onProcessEnd(Process) - Method in class ru.ispras.retrascope.parser.basis.backend.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
 
onRootBegin() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onRootBegin() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Notifies that processing has been started.
onRootEnd() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onRootEnd() - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onRootEnd() - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Notifies that processing has been finished.
onSequenceBegin(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified sequence.
onSequenceEnd(Sequence) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified sequence.
onSetProgress(Engine, int) - Method in interface ru.ispras.retrascope.basis.EngineEventHandler
It is called when an engine updates the progress.
onShowCancelledBegin(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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.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.model.cfg.CfgDefaultVisitor
 
onSrcBegin(Source) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Source node.
onSrcBegin(Source) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSrcEnd(Source) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onSrcEnd(Source) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Finishes visiting Source node.
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 class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
onSwitchBegin(Switch) - Method in interface ru.ispras.retrascope.model.cfg.CfgVisitor
Starts visiting Switch node.
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
 
onSwitchBegin(Switch) - Method in class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
 
onSwitchEnd(Switch) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.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.test.TestVisitor
Indicates that a walker has started walking across the specified test.
onTestEnd(Test) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified test.
onTransactionBegin(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified transaction.
onTransactionEnd(Transaction) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified transaction.
onTransitionBegin(EfsmTransition) - Method in class ru.ispras.retrascope.engine.efsm.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.test.TestVisitor
Indicates that a walker has encountered the specified variable.
onVectorBegin(Vector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has started walking across the specified vector.
onVectorEnd(Vector) - Method in interface ru.ispras.retrascope.result.test.TestVisitor
Indicates that a walker has finished walking across the specified vector.
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
 
onWaitBegin(Wait) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.CfgWaitBackend
 
onWaitEnd(Wait) - Method in class ru.ispras.retrascope.model.cfg.CfgDefaultVisitor
 
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.CfgWaitBackend
 
onWaitStatementBegin(WaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
onWaitStatementEnd(WaitStatement) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
The command line parameters.
OUT_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The output GraphML-file-name command line parameter.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
The engine output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
The output entity type.
OUT_TYPE - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The engine's output entity type.

P

Parameter - Class in ru.ispras.retrascope.basis
This class represents a specification of a command line parameter.
Parameter(String, boolean, String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
Parameter(String, String[], String) - Constructor for class ru.ispras.retrascope.basis.Parameter
Constructs a parameter.
PARAMETERS - Static variable in class ru.ispras.retrascope.basis.Configuration
The configuration parameters.
Parameters - Class in ru.ispras.retrascope.basis
This class represents a specification of command line parameters.
Parameters() - Constructor for class ru.ispras.retrascope.basis.Parameters
 
PARAMETERS - Static variable in class ru.ispras.retrascope.Retrascope
 
parentNode - Variable in class ru.ispras.retrascope.model.cfg.CfgNode
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
Parses input entities.
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.verilog.VerilogParser
 
parse(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.vhdl.VhdlParser
 
parse(String) - Static method in class ru.ispras.retrascope.util.LogLevel
Parse a level name string into a Level.
parseAssignment(Assignment, AssignStatement.Type, boolean) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Processes assignments of different types.
parseCommandLine(String[]) - Method in class ru.ispras.retrascope.basis.Engine
Parses the command line.
parseCommandLine(String[]) - Method in class ru.ispras.retrascope.basis.Parameters
Parses the command line.
PREINITIAL_STATE - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
The pseudo-state to be used for setting EFSM variables to initial values for simulation.
print(String, CfgModel) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
Print the control flow graph to GraphML file.
print(String, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
Prints the specified EfsmModel model to GraphML file.
print(Test, Path, Set<String>) - Static method in class ru.ispras.retrascope.engine.test.printer.testbench.DeciderLikeTestPatternPrinter
Prints the specified test to the specified file.
print(Level, String) - Static method in class ru.ispras.retrascope.util.Log
Prints the message with the specified logging level.
PRINT_STYLE_PARAM - Static variable in class ru.ispras.retrascope.basis.Configuration
The predefined parameters.
printEdge(PrintWriter, String, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print edge to GraphML file.
printEdge(PrintWriter, String, String, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print edge with label to GraphML file.
printNode(PrintWriter, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print node.
printNode(PrintWriter, String, String, String, String) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print node with this label, form, color to GraphML file.
printNode(PrintWriter, String, String, String, String, boolean) - Static method in class ru.ispras.retrascope.result.graphml.GraphMlUtils
Print node with this cropping label, form, color to GraphML file.
Process - Class in ru.ispras.retrascope.model.cfg
Process of control flow graph model.
Process() - Constructor for class ru.ispras.retrascope.model.cfg.Process
Default constructor.
Process(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.Process
Constructs new process with the specified value of initial flag.
processEvents(EventList) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Handles the specified events.
processEvents(EventList) - Method in interface ru.ispras.retrascope.model.basis.EventDrivenModule
Notifies this module of the specified events occurrence.
processOption(String, ListIterator) - Method in class ru.ispras.retrascope.basis.Arguments.ExtendedGnuParser
 
product(Efsm...) - Static method in class ru.ispras.retrascope.model.efsm.Efsm
Constructs a synchronous composition from a list of EFSMs.

R

RandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a random-based heuristic for choosing a transitions to traverse.
RandomEfsmTransitionChooser(Efsm, EfsmState, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.RandomEfsmTransitionChooser
Creates a new RandomEfsmTransitionChooser for the specified EFSM and its state.
Range - Class in ru.ispras.retrascope.model.basis
Pair of values.
Range(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.Range
Default constructor.
RangedVariable - Class in ru.ispras.retrascope.model.basis
Variable or it's sub-part restricted by the specified range.
RangedVariable(NodeVariable) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable.
RangedVariable(NodeVariable, Range) - Constructor for class ru.ispras.retrascope.model.basis.RangedVariable
Constructs object with the specified variable and it's range.
remove(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.EventList
Removes an event on the specified variable.
removeAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
Removes all assignments.
removeAssignments() - Method in class ru.ispras.retrascope.model.cfg.BasicBlock
Removes all block assignments.
removeChild(CfgModelNode) - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Removes child node.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Sink
Throws an exception, because object does not have child nodes.
removeChild(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Switch
Removes child node.
removeDeclaration(String) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Removes declaration of variable with the specified name.
removeMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.MetaInfo
Removes information of the specified type.
removeNode(CfgNode) - Method in class ru.ispras.retrascope.model.cfg.Process
Removes node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Case
Removes parent node.
removeParent(CfgModelNode) - Method in interface ru.ispras.retrascope.model.cfg.CfgModelNode
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.CfgNode
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Merge
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Module
Removes parent node.
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Process
 
removeParent(CfgModelNode) - Method in class ru.ispras.retrascope.model.cfg.Source
Removes parent node.
removeProcesses() - Method in class ru.ispras.retrascope.model.cfg.Module
Remove internal processes.
reset() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Resets this to the initial state.
reset() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
 
reset() - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
Resets this simulator, that is, returns it to an uninitialised state.
Retrascope - Class in ru.ispras.retrascope
The main class of the project.
Retrascope.ToolRun - Class in ru.ispras.retrascope
The tool run information.
Retrascope.ToolRun(ToolChain, Map<EntityType, Entity>) - Constructor for class ru.ispras.retrascope.Retrascope.ToolRun
Constructs a tool run.
Retrascope.ToolRun() - Constructor for class ru.ispras.retrascope.Retrascope.ToolRun
Construct a tool run with unspecified tool chain.
RetrascopeRuntimeException - Exception in ru.ispras.retrascope.basis.exception
The unchecked exception to be thrown by Retrascope components to indicate an occurrence of a programmatic error which is not addressed by the default RuntimeException subclasses.
RetrascopeRuntimeException(String) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message.
RetrascopeRuntimeException(String, Throwable) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception with the specified message and root exception.
RetrascopeRuntimeException(Exception) - Constructor for exception ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException
Constructs an exception that incapsulates the specified one.
ru.ispras.retrascope - package ru.ispras.retrascope
 
ru.ispras.retrascope.basis - package ru.ispras.retrascope.basis
 
ru.ispras.retrascope.basis.exception - package ru.ispras.retrascope.basis.exception
 
ru.ispras.retrascope.engine.basis - package ru.ispras.retrascope.engine.basis
 
ru.ispras.retrascope.engine.cfg - package ru.ispras.retrascope.engine.cfg
 
ru.ispras.retrascope.engine.cfg.extractor.iface - package ru.ispras.retrascope.engine.cfg.extractor.iface
 
ru.ispras.retrascope.engine.cfg.printer.graphml - package ru.ispras.retrascope.engine.cfg.printer.graphml
 
ru.ispras.retrascope.engine.cfg.transformer.cgaa - package ru.ispras.retrascope.engine.cfg.transformer.cgaa
 
ru.ispras.retrascope.engine.cgaa.printer.graphml - package ru.ispras.retrascope.engine.cgaa.printer.graphml
 
ru.ispras.retrascope.engine.cgaa.transformer.efsm - package ru.ispras.retrascope.engine.cgaa.transformer.efsm
 
ru.ispras.retrascope.engine.conflict.printer.xml - package ru.ispras.retrascope.engine.conflict.printer.xml
 
ru.ispras.retrascope.engine.efsm - package ru.ispras.retrascope.engine.efsm
 
ru.ispras.retrascope.engine.efsm.extractor.conflict - package ru.ispras.retrascope.engine.efsm.extractor.conflict
 
ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb - package ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb
 
ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher - package ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
 
ru.ispras.retrascope.engine.efsm.generator.test - package ru.ispras.retrascope.engine.efsm.generator.test
 
ru.ispras.retrascope.engine.efsm.generator.test.fate - package ru.ispras.retrascope.engine.efsm.generator.test.fate
 
ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction - package ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
 
ru.ispras.retrascope.engine.efsm.printer.graphml - package ru.ispras.retrascope.engine.efsm.printer.graphml
 
ru.ispras.retrascope.engine.efsm.simulator - package ru.ispras.retrascope.engine.efsm.simulator
 
ru.ispras.retrascope.engine.test.printer.testbench - package ru.ispras.retrascope.engine.test.printer.testbench
 
ru.ispras.retrascope.engine.test.printer.testbench.vhdl - package ru.ispras.retrascope.engine.test.printer.testbench.vhdl
 
ru.ispras.retrascope.engine.test.printer.xml - package ru.ispras.retrascope.engine.test.printer.xml
 
ru.ispras.retrascope.model.basis - package ru.ispras.retrascope.model.basis
 
ru.ispras.retrascope.model.basis.jaxb - package ru.ispras.retrascope.model.basis.jaxb
 
ru.ispras.retrascope.model.basis.memory - package ru.ispras.retrascope.model.basis.memory
 
ru.ispras.retrascope.model.cfg - package ru.ispras.retrascope.model.cfg
 
ru.ispras.retrascope.model.cgaa - package ru.ispras.retrascope.model.cgaa
 
ru.ispras.retrascope.model.efsm - package ru.ispras.retrascope.model.efsm
 
ru.ispras.retrascope.parser.basis - package ru.ispras.retrascope.parser.basis
 
ru.ispras.retrascope.parser.basis.backend - package ru.ispras.retrascope.parser.basis.backend
 
ru.ispras.retrascope.parser.test - package ru.ispras.retrascope.parser.test
 
ru.ispras.retrascope.parser.verilog - package ru.ispras.retrascope.parser.verilog
 
ru.ispras.retrascope.parser.vhdl - package ru.ispras.retrascope.parser.vhdl
 
ru.ispras.retrascope.result.cfginterface - package ru.ispras.retrascope.result.cfginterface
 
ru.ispras.retrascope.result.conflict - package ru.ispras.retrascope.result.conflict
 
ru.ispras.retrascope.result.graphml - package ru.ispras.retrascope.result.graphml
 
ru.ispras.retrascope.result.test - package ru.ispras.retrascope.result.test
 
ru.ispras.retrascope.result.test.jaxb - package ru.ispras.retrascope.result.test.jaxb
 
ru.ispras.retrascope.result.testbench - package ru.ispras.retrascope.result.testbench
 
ru.ispras.retrascope.util - package ru.ispras.retrascope.util
 
runBackEnds(Entity) - Method in class ru.ispras.retrascope.basis.Engine
Runs all the back-ends that were added to this engine.

S

SearchCondition - Interface in ru.ispras.retrascope.engine.efsm.extractor.conflict.searcher
The interface that represents the conditions which limit the search algorithm.
SemiRandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
The class representing a random-based heuristic for choosing a transitions to traverse.
SemiRandomEfsmTransitionChooser(Efsm, EfsmState, EfsmTransitionCoverage, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
Creates a new SemiRandomEfsmTransitionChooser for the specified EFSM, its state, and coverage.
Sequence - Class in ru.ispras.retrascope.result.test
The representation of a test sequence.
Sequence() - Constructor for class ru.ispras.retrascope.result.test.Sequence
Constructs an isEmpty sequence.
Sequence(int) - Constructor for class ru.ispras.retrascope.result.test.Sequence
Constructs an isEmpty sequence with the specified initial capacity of an underlying collection of vectors.
Sequence(EventList, List<Vector>) - Constructor for class ru.ispras.retrascope.result.test.Sequence
Constructs a sequence of the specified vectors with the specified events.
SEQUENCE_LENGTH_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
 
SEQUENCE_LENGTH_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
 
SEQUENCES_NUMBER_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFatePlusTestGenerator
 
SEQUENCES_NUMBER_PARAMETER - Static variable in class ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator
 
setBindings(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Sets bindings.
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.
setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.Switch
Sets new Node condition.
setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.Wait
Sets condition.
setDefaultDirectory(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
Sets the name of the default directory.
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.
setSensitivityList(EventList) - Method in class ru.ispras.retrascope.model.cfg.Process
Sets new EventList sensitivity list.
setType(Conflict.Types) - Method in class ru.ispras.retrascope.result.conflict.Conflict
Sets the type of a conflict.
setValue(Node) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets new value expression.
setValue(String, NodeValue) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
setValue(String, NodeValue) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Sets a variable with the specified name to the specified value.
setValues(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
setValues(Map<String, NodeValue>) - Method in interface ru.ispras.retrascope.model.basis.memory.Memory
Sets variables with the specified names to the specified values.
setVariable(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.Assignment
Sets the specified variable as objects' target.
setVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.conflict.Conflict
Sets a new conflicting variable.
setVariablesMapping(Map<NodeVariable, VariableDeclaration>) - Method in class ru.ispras.retrascope.model.basis.VariableContainer
Adds declared variables to the existing declarations.
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
Default constructor.
SOLVER_DEBUG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
SOLVER_PROPERTY - Static variable in class ru.ispras.retrascope.Retrascope
 
SOLVER_VARIABLE - Static variable in class ru.ispras.retrascope.Retrascope
 
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
Default constructor.
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.testbench.vhdl.TestVhdlTestbenchPrinter
 
start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.xml.TestXmlPrinter
 
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.test.TestWalker
Performs walking across the specified test.
start(EngineEventHandler) - Method in class ru.ispras.retrascope.Retrascope.ToolRun
Starts the tool chain with the given source entities.
State - Class in ru.ispras.retrascope.model.basis
The class representing a state of some model.
State() - Constructor for class ru.ispras.retrascope.model.basis.State
 
STATE_VARIABLES - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
State-like variables names command line parameter.
substitute(List<CfgNode>, String, Node) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
Substitutes usages of variable with the specified name by the specified expression in all the elements of the specified collection.
substituteBackward(List<? extends AssignmentContainer>, Node) - Static method in class ru.ispras.retrascope.engine.basis.TransformUtils
Performs backward substitution on the specified nodes to the specified expression.
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 condition.
Switch(Event) - Constructor for class ru.ispras.retrascope.model.cfg.Switch
Constructs an object with the specified event.

T

TARGET_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
Test - Class in ru.ispras.retrascope.result.test
The representation of a test.
Test() - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs an empty test.
Test(List<Sequence>) - Constructor for class ru.ispras.retrascope.result.test.Test
Constructs a test containing the specified list of sequences.
Testbench - Class in ru.ispras.retrascope.result.testbench
The representation of an abstract testbench.
Testbench(String, Path, Set<Path>) - Constructor for class ru.ispras.retrascope.result.testbench.Testbench
Constructs a new testbench with the specified testbench file and additional files (for example, test pattern and library files).
TESTBENCH_DIR_NAME - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
The default name of testbench directory.
TESTBENCH_DIRECTORY - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
 
TestCoverage - Class in ru.ispras.retrascope.engine.basis
The representation of an abstract test coverage.
TestCoverage() - Constructor for class ru.ispras.retrascope.engine.basis.TestCoverage
 
TestFileNames - Class in ru.ispras.retrascope.parser.test
This class represents a collection of XML file names.
TestFileNames(String) - Constructor for class ru.ispras.retrascope.parser.test.TestFileNames
Constructs a test file names entity initialised with the specified file name.
TestFileNames(Collection<String>) - Constructor for class ru.ispras.retrascope.parser.test.TestFileNames
Constructs a test file names entity initialised with the specified file names.
TestGenerator - Class in ru.ispras.retrascope.engine.basis
The class representing an abstract test generator.
TestGenerator(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.TestGenerator
Constructs an empty test generator with the specified ID and input entity type.
TestMinimiser - Class in ru.ispras.retrascope.engine.efsm.generator.test
The class which performs test minimisation.
TestVhdlTestbenchPrinter - Class in ru.ispras.retrascope.engine.test.printer.testbench.vhdl
The engine that makes VHDL testbenches from tests.
TestVhdlTestbenchPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
Creates a new TestVhdlTestbenchPrinter instance.
TestVisitor - Interface in ru.ispras.retrascope.result.test
The interface for test visitors.
TestWalker - Class in ru.ispras.retrascope.result.test
The walker for the Test class.
TestWalker(TestVisitor) - Constructor for class ru.ispras.retrascope.result.test.TestWalker
Constructs a walker for the specified visitor.
TestXmlPrinter - Class in ru.ispras.retrascope.engine.test.printer.xml
The class for marshalling tests to XML files.
TestXmlPrinter() - Constructor for class ru.ispras.retrascope.engine.test.printer.xml.TestXmlPrinter
Constructs an TestXmlPrinter instance.
toBasicBlock() - Method in class ru.ispras.retrascope.model.efsm.Action
Transforms to non-concurrent basic block node.
toCompactString() - Method in enum ru.ispras.retrascope.model.basis.EventType
Returns compact string representation.
toNode() - Method in class ru.ispras.retrascope.model.efsm.Guard
Convert guard expression into Node expression.
TOOL_DEBUG_PARAM - Static variable in class ru.ispras.retrascope.Retrascope
 
ToolChain - Class in ru.ispras.retrascope.basis
This class implements a tool chain, which is an Engine engine composed of smaller ones.
ToolChain(String) - Constructor for class ru.ispras.retrascope.basis.ToolChain
Constructs a tool chain with a given id.
ToolChain() - Constructor for class ru.ispras.retrascope.basis.ToolChain
Constructs a tool chain with the default id.
TOP_LEVEL - Static variable in class ru.ispras.retrascope.parser.vhdl.VhdlParser
The VHDL top-level module name.
toString() - Method in class ru.ispras.retrascope.basis.Arguments
 
toString() - Method in class ru.ispras.retrascope.basis.Engine
 
toString() - Method in class ru.ispras.retrascope.basis.Entity
 
toString() - Method in class ru.ispras.retrascope.basis.EntityType
 
toString() - Method in class ru.ispras.retrascope.basis.FileNames
 
toString() - Method in class ru.ispras.retrascope.engine.basis.TestCoverage
Returns a string representing this coverage.
toString() - Method in class ru.ispras.retrascope.engine.efsm.EfsmTransitionCoverage
 
toString() - Method in class ru.ispras.retrascope.model.basis.Assignment
 
toString() - Method in class ru.ispras.retrascope.model.basis.Event
 
toString() - Method in class ru.ispras.retrascope.model.basis.EventList
 
toString() - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
 
toString() - Method in class ru.ispras.retrascope.model.basis.Range
 
toString() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Action
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Efsm
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
 
toString() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
 
toString() - Method in class ru.ispras.retrascope.model.efsm.Guard
 
toString() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
 
toString() - Method in class ru.ispras.retrascope.result.conflict.Conflict
 
toString() - Method in class ru.ispras.retrascope.result.test.Sequence
 
toString() - Method in class ru.ispras.retrascope.result.test.Test
 
toString() - Method in class ru.ispras.retrascope.result.test.Transaction
 
toString() - Method in class ru.ispras.retrascope.result.test.Vector
 
Transaction - Class in ru.ispras.retrascope.result.test
The class representing a transaction by a set of mappings between names and values of variables.
Transaction() - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction.
Transaction(Map<String, ? extends Node>) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs a transaction containing the specified name-value pairs.
Transaction(int) - Constructor for class ru.ispras.retrascope.result.test.Transaction
Constructs an empty transaction with the specified initial capacity of an underlying collection of variable name-value pairs.
transformNode(Node) - Method in class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
Changes userData type kept in the node from Reference to VariableType.
TransformUtils - Class in ru.ispras.retrascope.engine.basis
Utility methods for models transformation.
TYPE - Static variable in class ru.ispras.retrascope.basis.Arguments
 
type - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
 
TYPE - Static variable in class ru.ispras.retrascope.model.cfg.CfgModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.cgaa.CgaaModel
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.model.efsm.EfsmModel
The entity type of all EfsmModel entities.
TYPE - Static variable in class ru.ispras.retrascope.result.cfginterface.CfgInterface
The entity type.
TYPE - Static variable in class ru.ispras.retrascope.result.conflict.ConflictModel
 

U

unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbEfsmAdapter
 
unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbGuardedActionAdapter
 
unmarshal(String) - Method in class ru.ispras.retrascope.engine.efsm.extractor.conflict.jaxb.JaxbNodeVariableAdapter
 
unmarshal(JaxbEvent) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventAdapter
 
unmarshal(JaxbEventList) - Method in class ru.ispras.retrascope.model.basis.jaxb.JaxbEventListAdapter
 
unmarshal(JaxbVariableList) - Method in class ru.ispras.retrascope.result.test.jaxb.JaxbVariableMapXmlAdapter
 
UseDef - Interface in ru.ispras.retrascope.model.basis
Object that uses or/and defines variables.
uses(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
Checks whether the engine uses an entity of the given type.
usesPredefinedValues() - Method in class ru.ispras.retrascope.basis.Parameter
Checks whether the parameter has predefined values only.

V

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.
VariableContainer - Class in ru.ispras.retrascope.model.basis
Variable declarations container.
VariableContainer() - Constructor for class ru.ispras.retrascope.model.basis.VariableContainer
Default constructor.
VariableData - Class in ru.ispras.retrascope.model.basis
Variable data descriptor.
VariableData(VariableType) - Constructor for class ru.ispras.retrascope.model.basis.VariableData
Constructs object with the specified variable type.
VariableDeclaration - Class in ru.ispras.retrascope.model.basis
Variable declaration.
VariableDeclaration(Node, Node) - Constructor for class ru.ispras.retrascope.model.basis.VariableDeclaration
Constructs an object with the specified initial value and it's invariant.
VariableType - Enum in ru.ispras.retrascope.model.basis
Variable types.
Vector - Class in ru.ispras.retrascope.result.test
The representation of an input/output vector of variables.
Vector() - Constructor for class ru.ispras.retrascope.result.test.Vector
Constructs an empty vector.
Vector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.test.Vector
Constructs a vector containing the specified transactions and events.
VerilogCfgBuilder - Class in ru.ispras.retrascope.parser.verilog
This class creates CfgModel from Verilog AST provided by Verilog Translator.
VerilogCfgBuilder() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder
 
VerilogParser - Class in ru.ispras.retrascope.parser.verilog
Verilog Parser class.
VerilogParser() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogParser
Default constructor.
VerilogTestbench - Class in ru.ispras.retrascope.result.testbench
The representation of a Verilog testbench.
VerilogTestbench(Path, Set<Path>) - Constructor for class ru.ispras.retrascope.result.testbench.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
Parser for VHDL hardware models.
VhdlParser() - Constructor for class ru.ispras.retrascope.parser.vhdl.VhdlParser
Default constructor.
VhdlTestbench - Class in ru.ispras.retrascope.result.testbench
The representation of a VHDL testbench.
VhdlTestbench(Path, Set<Path>) - Constructor for class ru.ispras.retrascope.result.testbench.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.test.TestWalker
Visits the specified event.
visitEventList(EventList) - Method in class ru.ispras.retrascope.result.test.TestWalker
Visits the specified eventList.
visitExpression(Node) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Visits the specified expression.
visitGuard(Guard) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Visits the specified guard.
visitGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Visits the specified guarded action.
visitNode(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.test.TestWalker
Visits the specified sequence.
visitState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Visits the specified state.
visitTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.TestWalker
Visits the specified transaction.
visitTransition(EfsmTransition) - Method in class ru.ispras.retrascope.model.efsm.EfsmWalker
Visits the specified transition.
visitVariable(String, Node) - Method in class ru.ispras.retrascope.result.test.TestWalker
Visits a variable with the specified name and value.
visitVector(Vector) - Method in class ru.ispras.retrascope.result.test.TestWalker
Visits the specified vector.
Void - Class in ru.ispras.retrascope.basis
This class represents a void entity.
Void(String) - Constructor for class ru.ispras.retrascope.basis.Void
Constructs a void entity of the given type.

W

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

X

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