- Action - Class in ru.ispras.retrascope.model.efsm
-
- Action(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified assignment.
- Action(Assignment) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs non-concurrent object with the specified assignment.
- Action(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs object with the specified list of assignments of the specified concurrency mode.
- Action(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.efsm.Action
-
Constructs non-concurrent object with the specified collection 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.basis.Model
-
Adds the specified entity.
- add(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
-
- add(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds the specified statement as child to this object.
- add(Statement, int) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds the specified child statement to this statement at the specified position.
- add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Adds the specified values to this descriptor.
- add(NodeValue) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Adds value to this case statement object.
- add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- add(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- add(Entity) - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
-
Adds the specified entity.
- add(Entity) - Method in class ru.ispras.retrascope.model.hldd.HlddModel
-
- add(Hldd) - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Adds a HLDD to this process.
- add(Entity) - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
- add(Entity) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
- add(Entity) - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
Adds the specified sequence model to this one.
- add(Entity) - Method in class ru.ispras.retrascope.result.test.TestModel
-
Adds the specified test model to this one.
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Adds all the statements from the specified list as children.
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- addAll(Collection<Statement>) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- addAssertion(Node) - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Adds the specified expression that uses variables
that are already declared at the parent container.
- addAssertions(Map<String, AssertionContainer>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
-
Adds model assertions to the visitor.
- addAssignment(Assignment) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Adds assignment.
- addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- addAssignment(Assignment) - Method in class ru.ispras.retrascope.model.efsm.Action
-
- addAssignments(List<Assignment>) - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Appends assignments list to the last assignment of this object.
- addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- addAssignments(List<Assignment>) - Method in class ru.ispras.retrascope.model.efsm.Action
-
- addBackend(Backend) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds backend.
- addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
- addChild(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- addChildren(Collection<HlddNode>) - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Adds the specified collection of
HlddNode
to the children of the node.
- addClock(NodeVariable) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Add the specified object as clock-like variable for this model.
- addClock(Event) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Adds the specified clock event to this object's collection.
- addClocks(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Adds the specified clock events collection to the object's collection.
- addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Adds the specified assertion container object.
- addContainer(AssertionContainer) - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Adds non-null assertion container.
- addEngine(Engine) - Method in class ru.ispras.retrascope.basis.ToolChain
-
Registers the given engine in the tool chain taking into account data dependencies.
- addEvent(Event) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Add the specified event which this process is sensible to.
- addEvent(Event) - Method in class ru.ispras.retrascope.result.test.Vector
-
Adds the specified event to the vector.
- addEvents(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Adds events from the specified collection to this one.
- addEvents(EventList) - Method in class ru.ispras.retrascope.result.test.Vector
-
Adds the specified events to this vector.
- addExpressions(Collection<? extends Node>) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Adds expressions to the edge.
- addFileOutput(String) - Static method in class ru.ispras.retrascope.util.Log
-
Adds the file output to the log.
- addGroup(AssertionGroup) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Adds the specified assertion group object.
- addInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified EFSM into this module as so-called "initial EFSM" which must be
simulated in the very beginning of this module simulation.
- addInputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds the given input type of the engine.
- addInterface(String, DeclarationContainer) - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Adds to interface storage the specified module's name and it's signal interface.
- addMetaInfo(Enum<?>, Enum<?>) - Method in class ru.ispras.retrascope.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.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.basis.MetaInfo
-
Adds meta-information as a pair of the specified information type and information value.
- addModule(Module) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds the specified module as a child one for this object.
- addModules(Collection<? extends Module>) - Method in class ru.ispras.retrascope.model.basis.Model
-
Adds objects from the specified collection as children for this object.
- addNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Adds the specified node to the diagram.
- addNonInitialEfsm(Efsm) - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Adds the specified non-initial EFSM into this module.
- addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Engine
-
Adds the given parameter to the engine.
- addParameter(Parameter) - Method in class ru.ispras.retrascope.basis.Parameters
-
Adds a given option to the specification.
- addResetGuardedAction(GuardedAction) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Adds the specified guarded action to this EFSM.
- addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
Adds the specified sequence to this sequence model.
- addSequence(Sequence) - Method in class ru.ispras.retrascope.result.test.Test
-
Adds the specified sequence to this test.
- addSequences(List<Sequence>) - Method in class ru.ispras.retrascope.result.test.Test
-
Adds the specified sequences to this test.
- addState(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.
- addState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Adds the specified state into this EFSM.
- addTest(Test) - Method in class ru.ispras.retrascope.result.test.TestModel
-
Adds the specified test to this test model.
- addTransaction(Transaction) - Method in class ru.ispras.retrascope.result.test.Vector
-
Adds the specified transaction to this vector.
- addTransition(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.
- addVariable(String, NodeValue) - Method in class ru.ispras.retrascope.result.test.Transaction
-
Adds a variable with the specified name and value to this transaction.
- addVector(Vector) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vector to the end of this sequence.
- addVectors(List<Vector>) - Method in class ru.ispras.retrascope.result.test.Sequence
-
Adds the specified vectors to the end of this sequence.
- addVisited(Collection<String>) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Add statement identifiers from the specified collection to the storage of identifiers
for statements that are already visited by this walker.
- ALIGN_CENTER - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- ALIGN_LEFT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- ALIGN_RIGHT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- append(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends the specified string to the output file.
- appendLine(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends the specified line to the output file.
- appendLine() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Appends an empty line to the output file.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Applies bindings to this statement.
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
- apply(Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
Applies bindings to process control flow graph and sensitivity list.
- applyToEventList(Map<String, Node>) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Applies expressions to bounded event variables.
- areCompatible(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified logical expressions are compatible
(getConjunction(nodes[0], ..., nodes[n-1]) is SAT)
.
- areComplete(Node...) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified logical expressions are complete
(!getComplement(nodes[0], ..., nodes[n-1]) is SAT)
.
- 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.
- AssertionContainer - Class in ru.ispras.retrascope.result.assertion
-
Named container of assertion groups.
- AssertionContainer(DecStatement, String, AssertionContainer) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Constructs the object with the specified parameters.
- AssertionEntity - Class in ru.ispras.retrascope.result.assertion
-
Entity that contains assertions that are extracted from models.
- AssertionEntity() - Constructor for class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Default constructor.
- AssertionGroup - Class in ru.ispras.retrascope.result.assertion
-
Named group of independent assertions.
- AssertionGroup(DecStatement, String, AssertionContainer, Node, List<GuardedAction>) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Constructs object with specified parameters.
- AssertionGroup(DecStatement, String, AssertionContainer, Node) - Constructor for class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Constructs object with specified parameters.
- AssertionVariableContainer - Class in ru.ispras.retrascope.result.assertion
-
Container for variables that are used in assertions.
- Assignment - Class in ru.ispras.retrascope.model.basis
-
Assignment statement.
- Assignment() - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Default constructor.
- Assignment(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Constructs object with the specified target variable and value expression.
- Assignment(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.basis.Assignment
-
Constructs object with the specified target non-ranged variable and value expression.
- ASSIGNMENT_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Assignment section header.
- AssignmentContainer - Interface in ru.ispras.retrascope.model.basis
-
Container of assignments.
- AtomicTestGenerator - Class in ru.ispras.retrascope.engine.basis
-
The class representing an atomic test generator, that is, test generator operating at the
sequence-level instead of test-level.
- AtomicTestGenerator() - Constructor for class ru.ispras.retrascope.engine.basis.AtomicTestGenerator
-
- CfgAssertBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Backend for the HDL parser that substitutes assert nodes by the equivalent statements.
- CfgAssertBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgAssertBackend
-
- CfgAssertStatement - Class in ru.ispras.retrascope.model.cfg
-
Assertion statement of control flow graph model.
- CfgAssertStatement(Node, CfgAssertStatement.Severity, String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Constructs assertion statement with the specified parameters.
- CfgAssertStatement.Severity - Enum in ru.ispras.retrascope.model.cfg
-
Assertion statement severity levels.
- CfgBfsWalker - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model walker running in breadth-first search mode.
- CfgBfsWalker(CfgVisitor) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBfsWalker
-
Constructs walker object with the specified parameters..
- CfgBlockSeqBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
The control flow graph model visitor that transforms sequences of basic block nodes.
- CfgBlockSeqBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgBlockSeqBackend
-
Default constructor.
- CfgBlockStatement - Class in ru.ispras.retrascope.model.cfg
-
Basic block node of process' control flow graph.
- CfgBlockStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object of the specified type flag.
- CfgBlockStatement(List<Assignment>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified assignments and the type flag.
- CfgBlockStatement(Assignment, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified assignment and the flag type.
- CfgBlockStatement(List<Assignment>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object with the specified collection of assignments.
- CfgBlockStatement(RangedVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object that contains one assignment with the specified target and value.
- CfgBlockStatement(NodeVariable, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Constructs object that contains one assignment with the specified target and value.
- CfgCaseData - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph case statement's data descriptor.
- CfgCaseData(EventList, Collection<NodeValue>, boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified parameters.
- CfgCaseData(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified "free-of-values" value.
- CfgCaseData(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Constructs data descriptor with the specified value.
- CfgCaseData(CfgCaseData) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Copy constructor.
- CfgCaseStatement - Class in ru.ispras.retrascope.model.cfg
-
Case statement of control flow graph model.
- CfgCaseStatement(EventList, NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs the case statement with the specified parameters.
- CfgCaseStatement(EventList, Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs the case statement with the specified parameters.
- CfgCaseStatement(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement of the specified default type.
- CfgCaseStatement(NodeValue) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement with the specified value.
- CfgCaseStatement(Collection<NodeValue>) - Constructor for class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Constructs case statement with the specified values.
- 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.
- CfgConditionStatement - Class in ru.ispras.retrascope.model.cfg
-
Sequential statement that is enhanced with condition.
- CfgContext - Class in ru.ispras.retrascope.model.cfg
-
Auxiliary class for symbolic execution of block statements with the specified pre-condition.
- CfgDependencyGraphMlPrinter - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
-
GraphML printer for dependencies in the Control Flow Graph model.
- CfgDependencyGraphMlPrinter() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
Constructs object with the specified identifier, input/output types,
walkers.
- CfgDependencyGraphVisitor - Class in ru.ispras.retrascope.engine.cfg.printer.graphml.depend
-
GraphML printer of CFG processes dependencies.
- CfgDependencyGraphVisitor() - Constructor for class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
Constructs dependency printer.
- CfgDfsWalker - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model walker running in a depth-first search mode.
- CfgDfsWalker(ModelVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
Constructs walker object with the specified parameters.
- CfgEmptyCaseBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Parser backend that merges empty case statements of one switch statement.
- CfgEmptyCaseBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgEmptyCaseBackend
-
- CfgEmptyVisitor - Class in ru.ispras.retrascope.model.cfg
-
An empty visitor for control flow graph model.
- CfgEmptyVisitor() - Constructor for class ru.ispras.retrascope.model.cfg.CfgEmptyVisitor
-
- 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.
- CfgInterface - Class in ru.ispras.retrascope.result.cfginterface
-
Control flow graph model interface.
- CfgInterface() - Constructor for class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Default constructor.
- CfgInterfaceExtractor - Class in ru.ispras.retrascope.engine.cfg.extractor.iface
-
Interface extractor for control flow graph model.
- CfgInterfaceExtractor() - Constructor for class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
-
Default constructor.
- CfgLoopBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
The control flow graph model visitor that detects loops or cycles and transforms them.
- CfgLoopBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend
-
Default constructor.
- CfgLoopStatement - Class in ru.ispras.retrascope.model.cfg
-
Loop statement for control flow graph node.
- CfgLoopStatement(CfgLoopStatement.Type, Node, Assignment, Assignment) - Constructor for class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Constructs loop statement with the specified parameters.
- CfgLoopStatement.Type - Enum in ru.ispras.retrascope.model.cfg
-
Loop statement types.
- CfgModel - Class in ru.ispras.retrascope.model.cfg
-
Control flow graph model.
- CfgModel() - Constructor for class ru.ispras.retrascope.model.cfg.CfgModel
-
Default constructor.
- CfgModule - Class in ru.ispras.retrascope.model.cfg
-
Module of control flow graph model.
- CfgModule(String) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
-
Constructs object with the specified name.
- CfgModule(Module) - Constructor for class ru.ispras.retrascope.model.cfg.CfgModule
-
Constructs the object that copies data from thw specified one.
- CfgOneBlockProcessBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects one-basic-block processes and transforms them.
- CfgOneBlockProcessBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgOneBlockProcessBackend
-
Default constructor.
- CfgProcess - Class in ru.ispras.retrascope.model.cfg
-
Process of control flow graph model.
- CfgProcess() - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Default constructor.
- CfgProcess(boolean) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs new process with the specified value of initial flag.
- CfgProcess(ModuleProcess) - Constructor for class ru.ispras.retrascope.model.cfg.CfgProcess
-
Constructs the object that copies the data of the specified one.
- CfgRandomTestGenerator - Class in ru.ispras.retrascope.engine.cfg.generator.test.random
-
Random test generator for Control Flow Graph model.
- CfgRandomTestGenerator() - Constructor for class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Default constructor.
- CfgRangedSwitchBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Parser backend that transforms sequences of switch statements with ranged variables in
conditions.
- CfgRangedSwitchBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgRangedSwitchBackend
-
- CfgSsaTransformer - Class in ru.ispras.retrascope.engine.cfg
-
Utility methods for control flow graph model transformation.
- CfgStatement - Class in ru.ispras.retrascope.model.cfg
-
Basic class for control flow graph model statements.
- CfgStatementType - Enum in ru.ispras.retrascope.model.cfg
-
Control flow graph model nodes types.
- CfgSwitchSequenceBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects and transforms sequences of switch nodes.
- CfgSwitchSequenceBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgSwitchSequenceBackend
-
Default constructor.
- CfgSwitchStatement - Class in ru.ispras.retrascope.model.cfg
-
Switch statement of control flow graph model.
- CfgSwitchStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Constructs an object with the specified condition.
- 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.
- CfgVisitorBackend - Class in ru.ispras.retrascope.engine.cfg
-
Base class for control flow graph model visitor-based back-ends.
- CfgVisitorBackend(CfgVisitor, WalkerMode) - Constructor for class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
-
Creates object with the specified model visitor.
- CfgWaitBackend - Class in ru.ispras.retrascope.parser.basis.backend
-
Control flow graph model visitor that detects and transforms wait nodes.
- CfgWaitBackend() - Constructor for class ru.ispras.retrascope.parser.basis.backend.CfgWaitBackend
-
Default constructor.
- CfgWaitStatement - Class in ru.ispras.retrascope.model.cfg
-
Wait statement of the control flow graph model.
- CfgWaitStatement(EventList, Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified events and condition fields.
- CfgWaitStatement(EventList) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified events.
- CfgWaitStatement(Node) - Constructor for class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Constructs the statement with the specified condition field.
- CgaaEfsmTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.efsm
-
The transformer of clocked guarded atomic 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.
- CgaaHlddTransformer - Class in ru.ispras.retrascope.engine.cgaa.transformer.hldd
-
This engine transforms the cgaa model into the HLDD model.
- CgaaHlddTransformer() - Constructor for class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
-
Constructs a new engine.
- CgaaModel - Class in ru.ispras.retrascope.model.cgaa
-
Clocked Guarded Atomic Actions (i.e.
- CgaaModel(CfgModel, Map<ModuleProcess, Graph<Phase, PhaseSeqEdge>>) - Constructor for class ru.ispras.retrascope.model.cgaa.CgaaModel
-
Constructs an object with the specified control flow graph internal model.
- CHECK_METHOD - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
-
The model checking method command line parameter.
- 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.
- clear(File) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
-
Clears the specified existing file.
- clearEvents(Collection<NodeVariable>) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Removes all the events that are related on the variables from the specified collection.
- CLK_LVL - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Active level of clock signal.
- CLK_NAME - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
Name of clock signal.
- clockFree() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Checks whether this object does not contain clocks.
- closeFileHandlers() - Static method in class ru.ispras.retrascope.util.Log
-
Closes all file handlers which are associated with the Retrascope root logger.
- closeGraphMlFile(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Close graphml file.
- closeGroup(PrintWriter) - Static method in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
Close group node.
- collectCoverage(TestModel, EfsmModel) - Static method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils
-
Collect EFSM transition coverage information for the specified test model on the specified
EFSM model.
- COLOR_BLUE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_GREEN - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_LIGHT_GRAY - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_ORANGE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_PURPLE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_RED - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- COLOR_YELLOW - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- compareTo(EntityType) - Method in class ru.ispras.retrascope.basis.EntityType
-
- compareTo(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Compares this object to the specified object.
- compatibleWith(EventList) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is compatible with the specified one.
- Configuration - Class in ru.ispras.retrascope.basis
-
This class implements tool
Retrascope
configuration.
- Configuration() - Constructor for class ru.ispras.retrascope.basis.Configuration
-
- configure(String...) - Method in class ru.ispras.retrascope.basis.Configuration
-
Configures this object using command line arguments.
- contains(Parameter) - Method in class ru.ispras.retrascope.basis.Arguments
-
Checks whether the given parameter is specified.
- contains(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks whether this object contains the specified event.
- contains(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether this range contains (as a subset) the given one (rhs
).
- contains(BigInteger) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Checks whether this range contains the given point.
- contains(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether this statement contains the specified as the child.
- containsEmptyModules(HlddModel) - Static method in class ru.ispras.retrascope.model.hldd.HlddModelUtils
-
Checks whether the model contains empty modules.
- containsInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Checks whether object contains it's initial value.
- containsInput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contain input signal variable with the specified name.
- containsInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Checks whether object contains invariant.
- containsOutput(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contains output signal variable with the specified name.
- containsRegister(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether this object contains internal 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.
- containStatements() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether this statement contains any other embedded statements.
- containsVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks does this object contain the specified variable.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Checks whether object contains a variable with the specified name.
- containsVariable(String) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- 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.
- CONVERSION_FUNCTION - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
-
- CROPPING_TEXT - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- CTL_SPEC_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
CTL specification header.
- currentPhaseVars - Variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
- generateTest() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
-
Generates and returns a test.
- get(String) - Static method in class ru.ispras.retrascope.basis.EntityType
-
Returns the entity type with the given identifier.
- getAction() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns action.
- getActionUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Action
action.
- getAdditionalFiles() - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
Returns additional files (for example, test pattern and library files) related to this
testbench.
- getArguments() - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the unparsed part of the command line (typically, list of files).
- getArray() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names (as an array).
- getAscending() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'ascending" field value.
- getAssertionNum() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns the number of related assertions.
- getAssertions() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns a collection of assertions.
- getAssignedValue() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Returns the assigned expression.
- getAssignedVariables() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the variables that are assigned in this process.
- getAssignments() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Returns all assignments.
- getAssignments() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getAssignments() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getAssignments() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns assignments.
- getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns bit vector declaration format.
- getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBitVectorFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns buffer assignment format.
- getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBufferAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns buffer variable declaration format.
- getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getBufferDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getCfgCaseData() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns the data descriptor for this statement.
- getChecker() - Static method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the checker instance.
- getChild() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns the child node.
- getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
- getChildren() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- getClock() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns clock-like variable of the top-level container.
- getClockAssignment(NodeVariable, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates clock assignment.
- getClockGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns a conjunction of guard's node and a node formed by clock events.
- getClockNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns a node that is formed by clock events.
- getClocks() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns clock-like variables related to this model.
- getClocks() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns clock events.
- getCommandLine() - Method in class ru.ispras.retrascope.basis.Arguments
-
Returns the command line having been set before.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns condition.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
Returns Node
condition.
- getCondition() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter condition.
- getConditionEquation() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns this edge's branch equation using parent condition node.
- getConfiguration() - Static method in class ru.ispras.retrascope.Retrascope
-
Returns the tool configuration.
- getConjunction(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a conjunction of the specified nodes.
- getConjunction(Collection<Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a conjunction of non-empty collection of nodes.
- getConstant(Data) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns Data
description in SMV format.
- getConstraintDescription(SmvExprPrinter.ConstraintType, Collection<Node>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
- getContainerMap() - Method in class ru.ispras.retrascope.result.assertion.AssertionEntity
-
Returns assertion containers mapping.
- getContext() - Method in class ru.ispras.retrascope.model.cfg.CfgContext
-
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns mapping from data type string description to "string-to" conversion functions names.
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getConvertFunctionMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getCounterexampleCount() - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
- getCounterexamples() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Returns the number of counterexamples generated during model checking.
- getCoverage() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a test coverage achieved by this simulator since the last reset (if any).
- getCoverage() - Method in class ru.ispras.retrascope.engine.basis.TestGenerator
-
Returns a coverage achieved by this generator.
- getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getCoverage(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns a coverage of the specified EFSM.
- getCoverage() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a test coverage reached during simulation since last reset.
- getCoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all covered transitions in this coverage.
- getCurrentModule() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Returns the current control flow graph model module.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a state of an underlying model which this simulator is currently in.
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getCurrentState() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a state of an underlying EFSM which this simulator is currently in.
- getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns data type of the declared variable with the specified name.
- getDataType(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns data type of the declared variable with the specified name.
- getDataType() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns the data type of this object.
- getDataType(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns mapping from data types to their string representations.
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getDataTypeMap() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the declaration for the specified variable.
- getDeclaration(NodeVariable) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns the declaration of the specified variable.
- getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the mapping from declared variables to their declarations.
- getDeclarationMap() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Mapping of internal variables names to variable declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns variables declarations.
- getDeclarations() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns variables declarations.
- getDefaultDirectory() - Static method in class ru.ispras.retrascope.basis.FileCreator
-
Returns the name of the default directory.
- getDefaultEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Returns the default child edge.
- getDefines() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDefines() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
- getDefines() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getDefines() - Method in interface ru.ispras.retrascope.model.basis.UseDef
-
Returns a set of defined variables.
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- getDefines() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- getDescription() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the description of the parameter.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDescription() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getDescription(ExprTreePrinter) - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns a string description in the format of the specified printer.
- getDescription() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns a String
description of the object in the format of the default system printer.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.Module
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getDescription() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the string description for this object in the format of the specified printer.
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- getDescription(ExprTreePrinter) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getDisjunction(Collection<Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a disjunction of non-empty collection of nodes.
- getDst() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the end point of this transition.
- 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.
- getEngineRegistry() - Static method in class ru.ispras.retrascope.Retrascope
-
Returns the engine registry.
- getEngines() - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns the collection of all available engines.
- getEngines() - Method in class ru.ispras.retrascope.basis.ToolChain
-
Returns all engines of the tool chain.
- getEntityType() - Method in class ru.ispras.retrascope.basis.Entity
-
Returns the type of the entity (a unique identifier).
- getEquation(Node...) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns an equation {@code (nodes[0] == ...
- getEventList() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Returns the
EventList
associated with the parser.
- getEventList() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the list of events that is related to this descriptor.
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns event list.
- getEventList() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
Returns event list.
- getEventList() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- getEventList() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns an
EventList
associated with this vector.
- getExprDescription(Node) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Returns the expression description string.
- getExpression(CfgCaseStatement, CfgSwitchStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
- getExpression() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
Returns the branch condition.
- getExpressions() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Returns the edge expressions.
- getExprPrinter() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor
-
Returns the current SMV expression printer.
- getFollowingNodes(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the following nodes of the specified node.
- getFollowingTerminalNodes(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the following terminal nodes of the specified node.
- getFormattedName(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Converts a string of process identifiers into a single identifier.
- getFullName() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns a full name.
- getGroupMap() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns mapping of names to nested assertion groups.
- getGuardNode() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns guard's node.
- getGuardUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Returns variables that are used in
Guard
condition.
- getHigh() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'high" attribute value.
- getHldds() - Method in class ru.ispras.retrascope.model.hldd.HlddProcess
-
Returns the contents of the container.
- getId() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the unique engine identifier.
- getId() - Method in class ru.ispras.retrascope.basis.EntityType
-
Returns the entity type identifier.
- getId() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getId() - Method in interface ru.ispras.retrascope.model.basis.Identifiable
-
Returns unique node identifier in string form.
- getId() - Method in class ru.ispras.retrascope.model.basis.State
-
Returns unique string identifier of this object.
- getId() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns unique node identifier in string form.
- getId() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
Returns unique node identifier in string form.
- getId() - Method in class ru.ispras.retrascope.model.efsm.Action
-
Returns unique string identifier of this object.
- getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmModuleState
-
- getId() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
- getIncoming(Efsm, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns transitions of the specified EFSM that end at the specified state.
- getIncrement() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter incrementation assignment.
- getInit() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop counter initialization assignment.
- getInitialState() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns an initial state of this EFSM.
- getInitialValue() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Returns initial value of declared variable.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the initial value for declared variable with the specified name.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns initial value of the declared variable with the specified name.
- getInitialValue(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getInitValueState() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns node of the EFSM state that is compliant with initial values of state-like variables.
- getInitVisitor() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Returns initial visitor.
- getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a collection of inner variables' names.
- getInnerVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getInputConstraints(Collection<NodeVariable>, NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates input variable constraints that prohibit value changes while clock = 1.
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns input signal declaration format.
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getInputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
-
- getInputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared input variables.
- getInputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared input signal variables.
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string description of input port.
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getInputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getInputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns a collection of input signal variables that are declared into this object.
- getInputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of input signal variables that are declared into this object.
- getInputTypes() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the input types of the engine (i.e., the types of input entities).
- getInstanceName() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns instance name.
- getInvariant() - Method in class ru.ispras.retrascope.model.basis.Declaration
-
Returns variable invariant.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns invariant of the declared variable with the specified name.
- getInvariant(Declaration, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.DeclarationUtils
-
Returns the constraint representation of the specified variable.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns invariant of the declared variable with the specified name.
- getInvariant(String) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getLastTraversedTransition() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a transition which was traversed by this simulator on last cycle.
- getLeft() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'left" attribute value.
- getLength() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'length" field value.
- getLength() - Method in class ru.ispras.retrascope.result.test.Sequence
-
Returns an amount of vectors in this sequence.
- getLevel() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the level of this node.
- getList() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names (as a list).
- getLogFile() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the log of the last checker execution.
- getLogger() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the logger of the engine.
- getLogger() - Static method in class ru.ispras.retrascope.util.Log
-
Returns the root logger.
- getLogger(Class<?>) - Static method in class ru.ispras.retrascope.util.Log
-
Returns the component logger.
- getLongName() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the long name of the parameter.
- getLoopType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
Returns loop type.
- getLow() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'low" attribute value.
- getMacroOperation(String, Node...) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
-
Returns the syntax node for the macro-definition that is described by it's name and operands.
- getMapping() - Method in class ru.ispras.retrascope.result.cfginterface.CfgInterface
-
Returns mapping of modules names and their signal interfaces.
- getMaps() - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
-
Returns the MAP data type values with their SMV variable name.
- getMax() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the upper bound of the range.
- getMetaInfo(String) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns meta-information of the specified type.
- getMetaInfo(Enum<?>) - Method in class ru.ispras.retrascope.basis.MetaInfo
-
Returns meta-information for the specified key.
- getMin() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the lower bound of the range.
- getModel() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
-
- getModuleDeclaration(String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module declaration in SMV format.
- getModuleDeclaration(String) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module declaration in SMV format with empty parameter list.
- getModuleInstantiation(String, String, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a module instantiation in SMV format.
- getModules() - Method in class ru.ispras.retrascope.model.basis.Model
-
Returns a collection of child modules.
- getModules() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns sub-modules.
- getName() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
Returns a name of this simulator.
- getName(NodeVariable) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Checks whether the variable name is acceptable by SMV syntax.
- getName() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns the module name.
- getName() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Returns the process name.
- getName() - Method in class ru.ispras.retrascope.model.cfg.CfgProcess
-
Returns the process name.
- getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns name of this object.
- getName() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns object's name.
- 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.
- getNode() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Returns an expression which this state is represented by.
- getNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the diagram's nodes.
- getNonInitialEfsms() - Method in class ru.ispras.retrascope.model.efsm.EfsmModule
-
Returns top-level non-initial EFSMs of this EFSM module.
- getOld() - Method in class ru.ispras.retrascope.model.basis.Range
-
Returns old index.
- getOperation(StandardOperation) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.BitVectorOpCodeMapper
-
Gets bit vector analogous operation code of the specified operation code.
- getOperationCode(IGOperationBinary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgBinaryMapper
-
Gets operation code of the specified operation.
- getOperationCode(String) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgSubprogramMapper
-
Gets operation code of the operation with the specified name.
- getOperationCode(IGOperationUnary) - Static method in class ru.ispras.retrascope.parser.vhdl.mapper.IgUnaryMapper
-
Gets operation code of the specified operation.
- getOption() - Method in class ru.ispras.retrascope.basis.Parameter
-
Returns the parameter in the Apache Commons CLI format.
- getOptionalInputEntity(Map<EntityType, Entity>, Class<T>, EntityType) - Static method in class ru.ispras.retrascope.basis.Engine
-
- getOptions() - Method in class ru.ispras.retrascope.basis.Parameters
-
Returns the list of supported parameters in the Apache Commons CLI format.
- getOutgoing(Efsm, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns transitions of the specified EFSM that start at the specified state.
- getOutput() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Returns engine output entity.
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
- getOutput() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
- getOutput() - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
Returns an output entity of this engine.
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertVisitor
-
Returns object's output.
- getOutput() - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns output signal declaration format.
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getOutputDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared output variables.
- getOutputNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared output signal variables.
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string description of output port.
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getOutputPortKind() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getOutputs() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns a collection of output signal variables that are declared into this object.
- getOutputs() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of output signal variables that are declared into this object.
- getOutputType() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the output type of the engine (i.e., the type of output entities).
- getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a collection of output variables' names.
- getOutputVariableNames() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getOutputVector() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns output vector that is produced by this object.
- getOverallSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
-
Returns the total number of specifications.
- getParameters() - Method in class ru.ispras.retrascope.basis.Engine
-
Returns the parameters of the engine.
- getParameters() - Method in class ru.ispras.retrascope.basis.Parameters
-
Returns the list of supported parameters.
- getParent() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns parent statement.
- getParent() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the parent of the node.
- getParent() - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Returns parent container.
- getParent() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns parent container.
- getParentContainer() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns parent container of this EFSM.
- getParentDirName(String) - Static method in class ru.ispras.retrascope.util.ReadWriteUtils
-
Returns the base name of parent directory for the file is described in the specified path.
- getPercentage() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns a percentage representation of this test coverage computed with the default precision.
- getPercentage(int) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns a percentage representation of this test coverage computed with the specified
precision.
- getPercentage() - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Returns a percentage representation of this test coverage with a default precision.
- getPercentage(int) - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Returns a percentage representation of this test coverage with the specified precision.
- getPhase() - Method in class ru.ispras.retrascope.model.efsm.EfsmState
-
Returns the associated value of phase variable.
- getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns port declaration format.
- getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getPortDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns port mapping declaration format.
- getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getPortMapDeclarationFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getPostCondition(CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns the post-condition for the specified sequence of block statements.
- getProcesses() - Method in class ru.ispras.retrascope.model.basis.Module
-
Returns processes.
- getProcessInstantiation(Collection<ModuleProcess>, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates process instantiations in SMV format.
- getProcessPhaseMap() - Method in class ru.ispras.retrascope.model.cgaa.CgaaModel
-
Returns the mapping from model processes to their phase sequence graphs.
- getRange() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns range.
- getRangedVariable() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns the event ranged variable.
- getRangeInvariant(Node, Node, boolean) - Static method in class ru.ispras.retrascope.model.basis.Range
-
Returns the invariant in range form.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names of already declared internal (register) variables.
- getRegisterNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of names of the declared register variables.
- getRegs(Module) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns a list of registers of the specified module.
- getReport() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns error report.
- getResetGuardedActions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns reset guarded actions of this EFSM, that is, such guarded actions which represent an
initialisation of this EFSM.
- getResult() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Returns the result of the last checker execution.
- getResultingDependencies(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns mapping between modified variables and affecting variables.
- getResultingSubstitutions(Action) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns mapping between variables and corresponding substitutions.
- getRight() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns "'right" attribute value.
- getRstGuardedAction() - Method in class ru.ispras.retrascope.result.assertion.AssertionGroup
-
Returns resetting guarded action.
- getSeparatedDescription(ExprTreePrinter, String) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns this assignment description that is presented in format of the specified printer
with the specified separator.
- getSeparator(ExprTreePrinter, boolean) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns assignment separator for the specified printer and basic block concurrent type.
- getSequences() - Method in class ru.ispras.retrascope.result.test.SequenceModel
-
Returns sequences of this sequence model.
- getSequences() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns a list of sequences which this test consists of.
- getSequencesAmount() - Method in class ru.ispras.retrascope.result.test.Test
-
Returns an amount of sequences which this test consists of.
- getSeverity() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
Returns severity level.
- getShortestPath(Efsm, EfsmState, EfsmState, Efsm.TransitionWeightBasis) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Looks for the shortest path at the specified EFSM from the specified source state
to the specified destination state with the specified principle of transition
weight defining.
- getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns signal assignment format.
- getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getSignalAssignmentFmt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns a model which is simulated by this simulator.
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- getSimulatedModel() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- getSources() - Method in class ru.ispras.retrascope.Retrascope.ToolRun
-
Returns the sources entities to be analyzed.
- getSrc() - Method in class ru.ispras.retrascope.model.efsm.EfsmTransition
-
Returns a state which is the start point of this transition.
- getStatement(int) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns a child statement of the specified number.
- getStatement(Statement, String) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Returns sub-statement with the specified identifier.
- getStatement(int) - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getStatementNum() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns a number of child statements.
- getStatementNum() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getStateNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of states for this EFSM.
- getStates() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns all states of this EFSM.
- getStateVariables() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the set of state variables that are used in this object.
- getStateVariables(Efsm) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Returns state-like variables for the specified EFSM.
- getStatus() - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
- getStatus() - Method in class ru.ispras.retrascope.model.basis.walker.ModelEmptyVisitor
-
- getStatus() - Method in interface ru.ispras.retrascope.model.basis.walker.ModelVisitor
-
Returns the current status of the visitor.
- getStrongestPostCondition(Node, Node, CfgBlockStatement...) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Creates strongest post-condition for the specified conditions and the specified list
of block nodes.
- getStylePrinter() - Method in class ru.ispras.retrascope.basis.Configuration
-
Returns expression style printer.
- getSubSimulator(Efsm) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns a simulator for the specified EFSM.
- getSubSimulators() - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
Returns all process simulators of this simulator.
- getSuccessors(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns statements that go after the specified statement.
- getTarget() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns defined ranged variable.
- getTargets() - Method in class ru.ispras.retrascope.basis.EngineRegistry
-
Returns the collection of all available targets (output types of engines).
- getTargetVariable() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
Returns the target variable.
- getTemplateResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string of the path to template resource file.
- getTemplateResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTemplateResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getTerminalNodes() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the terminal nodes.
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns an extension of the testbench files.
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTestbenchExt() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getTestbenchFile() - Method in class ru.ispras.retrascope.result.testbench.Testbench
-
Returns a path to the testbench file.
- getTests() - Method in class ru.ispras.retrascope.result.test.TestModel
-
Returns tests of this test model.
- getTopParent(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns the top level parent for the specified statement.
- getTopStatements(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns the collection of top level statements of the specified one.
- getTransactions() - Method in class ru.ispras.retrascope.result.test.Vector
-
Returns all transactions included in this vector.
- getTransitionNum() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns the number of transitions for this EFSM.
- getTransitions() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Returns all transitions of this EFSM.
- getTrueSpecs() - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Returns the number of true specifications after model checking.
- getTstParserResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
Returns string of the path to TST parser resource file.
- getTstParserResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinter
-
- getTstParserResource() - Method in class ru.ispras.retrascope.engine.test.printer.testbench.vhdl.TestVhdlTestbenchPrinter
-
- getType() - Method in class ru.ispras.retrascope.basis.FileNames
-
Returns the file names' extension (file type).
- getType(DataType) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Returns a data type in SMV format.
- getType() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns type.
- getType() - Method in class ru.ispras.retrascope.model.basis.Module
-
- getType() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- getType() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns statement type.
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgAssertStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgLoopStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- getType() - Method in class ru.ispras.retrascope.model.cfg.CfgWaitStatement
-
- getType() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Returns the type of the node.
- getTypeConversionPrefix(DataTypeId, DataTypeId) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns the type conversion string from the source type into the target type if possible.
- getUncoveredTransitions() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Returns all uncovered transitions in this coverage.
- getUsedVariableNames() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns names of variables that are used in this object.
- getUses() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
- getUses() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
- getUses() - Method in class ru.ispras.retrascope.model.basis.Statement
-
- getUses() - Method in interface ru.ispras.retrascope.model.basis.UseDef
-
Returns a set of used variables.
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.cfg.CfgConditionStatement
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.Guard
-
- getUses() - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
- 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() - Method in class ru.ispras.retrascope.model.cgaa.Phase
-
Returns the phase value.
- 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.model.basis.memory.HashMapMemory
-
- getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Returns the collection of descriptor-related values.
- getValues() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns case statement values.
- getValues() - Method in class ru.ispras.retrascope.result.test.Transaction
-
Returns a map containing mappings between names
and values for all variables of this transaction.
- getVarDeclareSection(Map<NodeVariable, Declaration>, SmvExprPrinter) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Generates a VAR declaration section in SMV format from a collection of variables.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Returns defined variable.
- getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns declared variable with specified name.
- getVariable(String) - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns declared variable with specified name.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.Event
-
Returns the event variable.
- getVariable() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns variable.
- getVariable() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Returns the associated variable.
- getVariableContainer(Statement, String) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns node that contains a declaration of variable with the specified name.
- getVariableContainer(Statement, NodeVariable) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Returns node that contains a declaration of the specified variable.
- getVariableName() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Returns variable name.
- getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the collection of names for already declared variables.
- getVariableNames() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns a collection of this object variables names.
- getVariableNames(Collection<? extends Node>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Returns a collection of names for variables from the specified collection.
- getVariableNum() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns the number of declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.basis.DeclarationContainer
-
Returns declared variables.
- getVariables() - Method in class ru.ispras.retrascope.model.basis.DecStatement
-
Returns declared variables.
- getVariableType() - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Returns variable type.
- getVariableValue(String) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Returns value of variable with the specified name.
- getVariableValue(String) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- 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.basis.walker.ModelWalker
-
Returns the model visitor.
- getVisitor() - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
Returns the current visitor.
- getWalkers() - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Return engine walkers.
- getWeakestPreCondition(Node, CfgBlockStatement) - Static method in class ru.ispras.retrascope.model.cfg.CfgUtils
-
Creates the weakest pre-condition for the specified post-condition and the specified
basic block.
- getWhitespace(int) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvPrinterUtils
-
Returns the indentation space according to the specified indentation level.
- getYoung() - Method in class ru.ispras.retrascope.model.basis.Range
-
Returns young index.
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
-
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
-
- goToNextStatement() - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Next statement for walking choosing method.
- goToNextStatement() - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
- GraphMlUtils - Class in ru.ispras.retrascope.engine.basis
-
GraphML utils.
- Guard - Class in ru.ispras.retrascope.model.efsm
-
Boolean condition that consists of some predicates.
- Guard(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(Node, Action, EventList) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified node guard, action and clock events.
- GuardedAction(Guard, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified guard condition and action.
- GuardedAction(Node, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object with the specified guard expression node and action.
- GuardedAction(Collection<Node>, Action) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Constructs object from the specified guard predicates and the specified action.
- GuardedAction(GuardedAction) - Constructor for class ru.ispras.retrascope.model.efsm.GuardedAction
-
Creates a copy of the specified object.
- Identifiable - Interface in ru.ispras.retrascope.model.basis
-
Object that can be characterized by it string identifier and printed
in some text format.
- IgBinaryMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
-
Mapping between IG binary operation identifiers
and standard operation identifiers that are supported.
- IgSubprogramMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
-
Mapping between IG subprogram identifiers and standard operation identifiers that are supported.
- IgUnaryMapper - Class in ru.ispras.retrascope.parser.vhdl.mapper
-
Mapping between IG unary operation identifiers
and standard operation identifiers that are supported.
- include(EfsmTransitionCoverage) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Includes the specified coverage to this coverage.
- INCLUDE_PATH - Static variable in class ru.ispras.retrascope.parser.verilog.VerilogParser
-
- incompatibleWith(Event) - Method in class ru.ispras.retrascope.model.basis.Event
-
Checks whether this object is compatible with the specified one.
- indexOf(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Returns index of the specified statement.
- INFO - Static variable in class ru.ispras.retrascope.util.LogLevel
-
The logging level for informational messages.
- initFile(String) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlVisitor
-
Create GraphML file with the specified name.
- initGraphMlVisitor(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
Initialize visitor with the graphML file name.
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
Initialises this EFSM engine with the specified inputs.
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.extractor.assertion.EfsmTransitionAssertExtractor
-
- initialise(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter
-
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Initializes engine with the specified inputs.
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter
-
- initialize(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlVisitor
-
Initializes object with the specified file name.
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphMlPrinter
-
- initialize(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
- initIterator() - Method in class ru.ispras.retrascope.result.test.Sequence
-
Prepares internal iterator for vectors.
- innerVariablesMemory - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- INPUT_VALUES - Static variable in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
- INPUT_VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Input variable declaration section header.
- instantiate(String, Map<String, Node>) - Method in class ru.ispras.retrascope.model.cfg.CfgModule
-
Instantiates this object with the specified name and bindings.
- IntegerRange - Class in ru.ispras.retrascope.model.basis
-
This class represents a non-empty integer range (interval).
- IntegerRange(BigInteger, BigInteger) - Constructor for class ru.ispras.retrascope.model.basis.IntegerRange
-
Constructs a range with the given lower (min
) and upper (max
) bounds.
- IntegerRange.RangePointType - Enum in ru.ispras.retrascope.model.basis
-
This enumeration contains types of range bounds.
- intersect(IntegerRange) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns an intersection range for this one and the specified one.
- isConcurrent() - Method in interface ru.ispras.retrascope.model.basis.AssignmentContainer
-
Checks rather this object includes concurrent or blocking assignments.
- isConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
- isConcurrent() - Method in class ru.ispras.retrascope.model.efsm.Action
-
- isCondition() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Indicates whether the node is a condition.
- isCovered(EfsmTransition) - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Checks if the specified transition is covered.
- isDefault() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Returns case statement default type.
- isDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Shows whether the node is a default node.
- isEdge() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Indicates whether the node is an edge.
- isEmpty() - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is empty.
- isEmpty() - Method in class ru.ispras.retrascope.result.test.Transaction
-
Checks if this transaction is empty.
- isEmpty() - Method in class ru.ispras.retrascope.result.test.Vector
-
Checks if this vector is empty.
- isFull() - Method in class ru.ispras.retrascope.result.test.efsm.EfsmTransitionCoverage
-
Tests if this coverage is full, that is, there are no uncovered transitions.
- isFull() - Method in class ru.ispras.retrascope.result.test.TestCoverage
-
Tests if this coverage is full.
- isImmediateAssignment() - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Shows whether the HLDD implements an immediate assignment.
- isInitial() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
Checks whether process is of initial kind.
- isInputDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Checks if the specified input is declared either in the EFSM or in it's parent module.
- isInputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Checks whether the specified identifier is of input or input-output signal type.
- isIntegerRange() - Method in class ru.ispras.retrascope.model.basis.Range
-
Checks whether this object is a range of integer values.
- isLast(Statement) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Checks whether the specified statement has successors or not.
- isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddConditionNode
-
- isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Indicates whether the node is non-terminal.
- isNonTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddTerminalNode
-
- isOneBitSignal(NodeVariable) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Checks whether the specified variable is a one-bit length signal.
- isOperation(Node, Collection<StandardOperation>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Checks rather the specified node is a NodeOperation
object with identifier
from the specified list.
- isOutputDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Checks if the specified output is declared either in the EFSM or in it's parent module.
- isOutputSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Check whether the specified identifier is of input-output or output type.
- isRanged() - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Checks whether this is ranged.
- isReachable(Efsm, EfsmState, EfsmState) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Checks if there is a path from the specified source state to the specified destination state
at the specified EFSM..
- isRegister(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Check whether the specified identifier is of register type.
- isRegisterDeclared(Efsm, String) - Static method in class ru.ispras.retrascope.model.efsm.EfsmUtils
-
Checks if the specified register declared either in the EFSM or in it's parent module.
- isSat(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Checks whether the specified expression is satisfiable.
- isSensible(EventList) - Method in class ru.ispras.retrascope.model.efsm.GuardedAction
-
Checks if this guarded action is sensible to the specified events.
- isSequential() - Method in class ru.ispras.retrascope.model.basis.Module
-
- isSequential() - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- isSequential() - Method in class ru.ispras.retrascope.model.basis.SequentialStatement
-
- isSequential() - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether statement is of sequential kind.
- isSequential() - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
- isSignal(Enum<?>) - Static method in enum ru.ispras.retrascope.model.basis.VariableType
-
Checks whether identifier is of signal type.
- isTerminal() - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Indicates whether the node is terminal.
- isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.Event
-
Checks whether this object is triggered by the specified one.
- isTriggered(Event) - Method in class ru.ispras.retrascope.model.basis.EventList
-
Checks if this object is always triggered along with the specified argument.
- isType(Enum<?>) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Checks whether this statement is of specified type.
- isType(Enum<?>, Statement...) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Checks whether the specified nodes are of the specified type.
- isType(CfgStatementType, Statement...) - Static method in class ru.ispras.retrascope.model.basis.StatementUtils
-
Checks whether the specified nodes are of the specified type.
- isValueFree() - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Checks whether this descriptor does not contain any values.
- iterator() - Method in class ru.ispras.retrascope.model.basis.EventList
-
- select(Collection<IntegerRange>, IntegerRange) - Static method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Selects all ranges from the the given collection that are within the given bounds.
- SemiRandomEfsmTransitionChooser - Class in ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction
-
The class representing a random-based heuristic for choosing a transitions to traverse.
- SemiRandomEfsmTransitionChooser(Efsm, EfsmState, EfsmTransitionCoverage, long) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.heuristic.direction.SemiRandomEfsmTransitionChooser
-
Creates a new SemiRandomEfsmTransitionChooser for the specified EFSM, its state, and coverage.
- Sequence - Class in ru.ispras.retrascope.result.test
-
The representation of a test sequence.
- Sequence() - Constructor for class ru.ispras.retrascope.result.test.Sequence
-
Constructs an empty sequence.
- SequenceModel - Class in ru.ispras.retrascope.result.test
-
The ordered container for sequences.
- SequenceModel() - Constructor for class ru.ispras.retrascope.result.test.SequenceModel
-
Constructs an empty sequence model.
- SequentialStatement - Class in ru.ispras.retrascope.model.basis
-
Class for control flow graph processes internal statements.
- SequentialStatement() - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
-
Default constructor.
- SequentialStatement(SequentialStatement) - Constructor for class ru.ispras.retrascope.model.basis.SequentialStatement
-
Constructs a copy of the specified object.
- setAscending(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized ascending field.
- setBase(DataType) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized base field.
- setBin() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Sets binary bit vector printing mode.
- setClock(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionContainer
-
Sets the specified variable as a clock-like for the top-level container.
- setCommandLine(String...) - Method in class ru.ispras.retrascope.basis.Arguments
-
Parses the given command line.
- setConcurrent() - Method in class ru.ispras.retrascope.model.cfg.CfgBlockStatement
-
Mark this statement as concurrent.
- setCondition(Node) - Method in class ru.ispras.retrascope.model.cfg.CfgSwitchStatement
-
Sets new Node
condition.
- setDefault(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
Sets default type of this case statement object.
- setDefault() - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
Sets the node as a default node.
- setDefaultDirectory(String) - Static method in class ru.ispras.retrascope.basis.FileCreator
-
Sets the name of the default directory.
- setEventList(EventList) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Associates the specified
EventList
with the parser.
- setEventList(EventList) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- setEventList(EventList) - Method in class ru.ispras.retrascope.model.hldd.HlddEdge
-
- setFileName(String) - Method in class ru.ispras.retrascope.engine.cfg.printer.graphml.depend.CfgDependencyGraphVisitor
-
Sets the specified string as name of the GraphML file to be generated.
- setHex() - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Sets hexadecimal bit vector printing mode.
- setHigh(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized high field.
- setImmediateAssignment(boolean) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets an immediate assignment property.
- setInitialState(EfsmState) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Marks the specified state of this EFSM as an initial state.
- setInstanceName(String) - Method in class ru.ispras.retrascope.model.basis.Module
-
Sets instance name.
- setLeft(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized left field.
- setLength(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized length field.
- setLevel(int) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the level of this node.
- setLevel(Level) - Static method in class ru.ispras.retrascope.util.Log
-
Sets the log level.
- setLow(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized low field.
- setNuSmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuSMV checker.
- setNuXmv() - Method in class ru.ispras.retrascope.util.SmvChecker
-
Enables NuXMV checker.
- setOutputType(EntityType) - Method in class ru.ispras.retrascope.basis.Engine
-
Sets the given output type of the engine.
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Module
-
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.ModuleProcess
-
- setParent(Statement) - Method in class ru.ispras.retrascope.model.basis.Statement
-
Sets the specified statement as parent.
- setParent(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseStatement
-
- setParent(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.HlddNode
-
Sets the specified
HlddNode
as the parent node.
- setRange(Range) - Method in class ru.ispras.retrascope.model.basis.RangedVariable
-
Sets new range.
- setRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized range field.
- setResetVariable(NodeVariable) - Method in class ru.ispras.retrascope.result.assertion.AssertionVariableContainer
-
Sets the specified variable as reset-like one.
- setReverseRange(Range) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized reverse_range field.
- setRight(Node) - Method in class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Sets the specified value to the non-initialized right field.
- setRootNode(HlddNode) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets the root node.
- setSignalInterface(CfgInterface) - Method in class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Sets the interface which would be used during parsing.
- setSingleTestable(boolean) - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Make the object to be non or single testable depending on the value of the specified parameter.
- setSpecType(String) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvVisitor
-
Sets the type of specifications to be checked.
- setStatus(ModelVisitor.Status) - Method in class ru.ispras.retrascope.model.efsm.EfsmEmptyVisitor
-
- setStatus(ModelVisitor.Status) - Method in interface ru.ispras.retrascope.model.efsm.EfsmVisitor
-
Sets internal status field to the specified value.
- 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
-
- setValueFree(boolean) - Method in class ru.ispras.retrascope.model.cfg.CfgCaseData
-
Sets the specified value to "free of values" flag.
- setValues(Map<String, NodeValue>) - Method in class ru.ispras.retrascope.model.basis.memory.HashMapMemory
-
- setVariable(RangedVariable) - Method in class ru.ispras.retrascope.model.basis.Assignment
-
Sets the specified variable as objects' target.
- setVariable(NodeVariable) - Method in class ru.ispras.retrascope.model.hldd.Hldd
-
Sets the associated variable.
- setVisitor(HlddVisitor) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
Sets the current visitor.
- setWalkers(ModelWalker...) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
Sets the specified walker sequence.
- shift(int) - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the shifted variant of this range ([min + value, max + value]
).
- signal - Variable in class ru.ispras.retrascope.model.basis.jaxb.JaxbEvent
-
- SIGNAL_NAME - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
-
- SIGNAL_TYPE - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
-
- simulatedModel - Variable in class ru.ispras.retrascope.engine.basis.Simulator
-
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- simulateSequence(Sequence) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
Simulates processing of the specified input vector and returns produced output vector.
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator
-
- simulateVector(Vector) - Method in class ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator
-
- Simulator<T extends DecStatement> - Class in ru.ispras.retrascope.engine.basis
-
The class representing an abstract simulator.
- Simulator(T) - Constructor for class ru.ispras.retrascope.engine.basis.Simulator
-
Constructs a simulator for the specified model.
- Simulator.SimulationSnapshot - Class in ru.ispras.retrascope.engine.basis
-
The snapshot of simulation.
- Simulator.SimulationSnapshot() - Constructor for class ru.ispras.retrascope.engine.basis.Simulator.SimulationSnapshot
-
- SimulatorEngine - Class in ru.ispras.retrascope.engine.basis
-
The abstract class for engines of the simulator type.
- SimulatorEngine(String, EntityType) - Constructor for class ru.ispras.retrascope.engine.basis.SimulatorEngine
-
Creates an engine with the specified ID and type of a simulated entity as input type.
- singleTestable() - Method in class ru.ispras.retrascope.model.efsm.Efsm
-
Checks whether this object can be tested as single one, or not.
- size() - Method in class ru.ispras.retrascope.model.basis.IntegerRange
-
Returns the size of the range.
- SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
-
The command-line parameter.
- SMV_FILE_NAME - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
The SMV output file name command-line parameter.
- SmvChecker - Class in ru.ispras.retrascope.util
-
This class represents the NuXmv model checker wrapper.
- SmvChecker.Result - Enum in ru.ispras.retrascope.util
-
Result of checker execution.
- SmvCounterexampleParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse a SMV log file and construct a
Test
object.
- SmvCounterexampleParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvCounterexampleParser
-
Constructs a new parser object.
- SmvExprPrinter - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This class represents the printer into *.smv format.
- SmvExprPrinter() - Constructor for class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Default constructor.
- SmvExprPrinter.ConstraintType - Enum in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
Types of NuXMV constraints.
- SmvModelCheckerLauncher - Class in ru.ispras.retrascope.engine.smv.launcher
-
This engine checks the generated *.smv files with the model checker.
- SmvModelCheckerLauncher() - Constructor for class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
Constructs a new engine object.
- SmvPrinterUtils - Class in ru.ispras.retrascope.engine.hldd.printer.smv.utils
-
This class contains static methods for *.smv file printing.
- SmvSpecificationParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse an SMV model file and extract information about specifications.
- SmvSpecificationParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvSpecificationParser
-
Constructs a new parser.
- SmvStatisticsParser - Class in ru.ispras.retrascope.engine.smv.test.parser.parsers
-
This class is used to parse an SMV log file and extract counterexample statistics.
- SmvStatisticsParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.parsers.SmvStatisticsParser
-
Constructs a new parser.
- SmvTestParser - Class in ru.ispras.retrascope.engine.smv.test.parser
-
This engine parses the *.smvlog files generated by the model checker and constructs a new
TestModel
entity.
- SmvTestParser() - Constructor for class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
-
Constructs a new parser object.
- solve(Node) - Static method in class ru.ispras.retrascope.util.SolverUtils
-
Solves the specified expression.
- SOLVER_DEBUG - Static variable in class ru.ispras.retrascope.Retrascope
-
- SOLVER_PROPERTY - Static variable in class ru.ispras.retrascope.Retrascope
-
- SOLVER_VARIABLE - Static variable in class ru.ispras.retrascope.Retrascope
-
- SolverUtils - Class in ru.ispras.retrascope.util
-
Utility methods to work with solver.
- splitByVar(Node, Collection<NodeVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Splits the specified node into two parts - one that depends exactly from the specified
variables and another that does not depend.
- standardize(Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
-
Replace operations in expression with standard counterparts.
- start(Entity) - Method in class ru.ispras.retrascope.basis.Backend
-
Elaborates the specified entity.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.Engine
-
Processes entities of the input types and produces an entity of the output type.
- start(Map<EntityType, Entity>, EngineEventHandler) - Method in class ru.ispras.retrascope.basis.Engine
-
Processes entities of the input types and produces an entity of the output type.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.basis.ToolChain
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.basis.ModelWalkerEngine
-
- start(Entity) - Method in class ru.ispras.retrascope.engine.cfg.CfgVisitorBackend
-
Elaborates the specified entity.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.cgaa.transformer.hldd.CgaaHlddTransformer
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator
-
Generates and returns tests for the specified EFSM modules.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator
-
Simulates the specified input sequences on the specified EFSM modules and returns produced
output sequences.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.assertion.HlddAssertSmvPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.launcher.SmvModelCheckerLauncher
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser
-
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.engine.test.printer.testbench.TestbenchPrinterEngine
-
- start(Model) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Starts walking the specified model.
- start(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Starts walking the specified statement.
- start(Map<EntityType, Entity>) - Method in class ru.ispras.retrascope.parser.basis.HdlParser
-
- start(Test) - Method in class ru.ispras.retrascope.result.test.TestWalker
-
Performs walking across the specified test.
- 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_MAX_NUM - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
State maximum number parameter.
- STATE_NOT_FOUND - Static variable in class ru.ispras.retrascope.model.efsm.Efsm
-
A string prefix for "state not found" error message.
- STATE_VARIABLES - Static variable in class ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer
-
State-like variables names command line parameter.
- Statement - Class in ru.ispras.retrascope.model.basis
-
Basic model component.
- StatementType - Enum in ru.ispras.retrascope.model.basis
-
Model statement types.
- StatementUtils - Class in ru.ispras.retrascope.model.basis
-
- STYLE_DASH - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- STYLE_LINE - Static variable in class ru.ispras.retrascope.engine.basis.GraphMlUtils
-
- SUB_ENDING - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Substituted variable suffix.
- substitute(List<Statement>, 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.
- substitute(Node, String, Node) - Static method in class ru.ispras.retrascope.util.TransformerUtils
-
Substitutes the given term for variables with the specified name at the specified expression
and simplifies the result.
- substituteAllBindings(Node, List<NodeBinding.BoundVariable>) - Static method in class ru.ispras.retrascope.util.NodeUtils
-
Substitutes variables that are used in the node by the specified bound variables.
- substituteBackward(List<? extends AssignmentContainer>, Node) - Static method in class ru.ispras.retrascope.util.ModelTransformUtils
-
Performs backward substitution on the specified nodes to the specified expression.
- substituteMaps(Node) - Static method in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.MapUtils
-
Searches for DataTypeId.MAP values in the specified node and replaces them by generated
array variables.
- substituteVariables(Node, Map<String, NodeValue>) - Method in class ru.ispras.retrascope.engine.basis.Simulator
-
- Substitutor - Class in ru.ispras.retrascope.engine.efsm.generator.test
-
- Substitutor(Efsm) - Constructor for class ru.ispras.retrascope.engine.efsm.generator.test.Substitutor
-
Constructs a substitutor for the specified EFSM.
- valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.basis.MetaInfoValue
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.EventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.IntegerRange.RangePointType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.StatementType
-
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.basis.walker.ModelVisitor.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.basis.walker.WalkerMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.LogMessage
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum ru.ispras.retrascope.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.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.engine.hldd.printer.smv.utils.SmvExprPrinter.ConstraintType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.EventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.IntegerRange.RangePointType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.basis.StatementType
-
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.basis.walker.ModelVisitor.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.basis.walker.WalkerMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgAssertStatement.Severity
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgLoopStatement.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.cfg.CfgStatementType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.efsm.Efsm.TransitionWeightBasis
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.model.hldd.HlddNode.NodeType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.LogMessage
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.retrascope.util.SmvChecker.Result
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- VARIABLE_DECLARATION - Static variable in class ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter
-
Variable declaration section header.
- VariableDescriptor - Class in ru.ispras.retrascope.model.basis
-
Variable data descriptor.
- VariableDescriptor(VariableType) - Constructor for class ru.ispras.retrascope.model.basis.VariableDescriptor
-
Constructs object with the specified variable type.
- VariableType - Enum in ru.ispras.retrascope.model.basis
-
Variable types.
- Vector - Class in ru.ispras.retrascope.result.test
-
The representation of an input/output vector of variables.
- Vector() - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs an empty vector.
- Vector(Transaction) - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs a vector containing the specified transaction.
- Vector(Collection<Transaction>, EventList) - Constructor for class ru.ispras.retrascope.result.test.Vector
-
Constructs a vector containing the specified transactions and events.
- VECTOR_FMT - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
-
- VECTOR_SIGNALS - Static variable in class ru.ispras.retrascope.engine.test.printer.testbench.PlaceHolder
-
- VerilogParser - Class in ru.ispras.retrascope.parser.verilog
-
Verilog Parser class.
- VerilogParser() - Constructor for class ru.ispras.retrascope.parser.verilog.VerilogParser
-
Default constructor.
- 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.
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.BfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.DfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified model statement.
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgBfsWalker
-
- visitModelStatement(Statement) - Method in class ru.ispras.retrascope.model.cfg.CfgDfsWalker
-
- visitNode(Statement) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified node.
- visitor - Variable in class ru.ispras.retrascope.engine.efsm.EfsmEngine
-
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.basis.walker.ModelWalker
-
Visits the specified process.
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.efsm.EfsmDfsWalker
-
- visitProcess(ModuleProcess) - Method in class ru.ispras.retrascope.model.hldd.HlddWalker
-
- 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.