CIRCT  19.0.0git
Public Member Functions | List of all members
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs > Class Template Reference

#include <SVVisitors.h>

Public Member Functions

ResultType dispatchSVVisitor (Operation *op, ExtraArgs... args)
 
ResultType visitInvalidSV (Operation *op, ExtraArgs... args)
 This callback is invoked on any invalid operations. More...
 
ResultType visitUnhandledSV (Operation *op, ExtraArgs... args)
 This callback is invoked on any SV operations that are not handled by the concrete visitor. More...
 
 HANDLE (RegOp, Unhandled)
 
 HANDLE (WireOp, Unhandled)
 
 HANDLE (LogicOp, Unhandled)
 
 HANDLE (LocalParamOp, Unhandled)
 
 HANDLE (XMROp, Unhandled)
 
 HANDLE (XMRRefOp, Unhandled)
 
 HANDLE (ReadInOutOp, Unhandled)
 
 HANDLE (ArrayIndexInOutOp, Unhandled)
 
 HANDLE (VerbatimExprOp, Unhandled)
 
 HANDLE (VerbatimExprSEOp, Unhandled)
 
 HANDLE (IndexedPartSelectInOutOp, Unhandled)
 
 HANDLE (IndexedPartSelectOp, Unhandled)
 
 HANDLE (StructFieldInOutOp, Unhandled)
 
 HANDLE (ConstantXOp, Unhandled)
 
 HANDLE (ConstantZOp, Unhandled)
 
 HANDLE (ConstantStrOp, Unhandled)
 
 HANDLE (MacroRefExprOp, Unhandled)
 
 HANDLE (MacroRefExprSEOp, Unhandled)
 
 HANDLE (OrderedOutputOp, Unhandled)
 
 HANDLE (IfDefOp, Unhandled)
 
 HANDLE (IfDefProceduralOp, Unhandled)
 
 HANDLE (IfOp, Unhandled)
 
 HANDLE (AlwaysOp, Unhandled)
 
 HANDLE (AlwaysCombOp, Unhandled)
 
 HANDLE (AlwaysFFOp, Unhandled)
 
 HANDLE (InitialOp, Unhandled)
 
 HANDLE (CaseOp, Unhandled)
 
 HANDLE (AssignOp, Unhandled)
 
 HANDLE (BPAssignOp, Unhandled)
 
 HANDLE (PAssignOp, Unhandled)
 
 HANDLE (ForceOp, Unhandled)
 
 HANDLE (ReleaseOp, Unhandled)
 
 HANDLE (AliasOp, Unhandled)
 
 HANDLE (FWriteOp, Unhandled)
 
 HANDLE (SystemFunctionOp, Unhandled)
 
 HANDLE (VerbatimOp, Unhandled)
 
 HANDLE (InterfaceOp, Unhandled)
 
 HANDLE (InterfaceInstanceOp, Unhandled)
 
 HANDLE (InterfaceSignalOp, Unhandled)
 
 HANDLE (InterfaceModportOp, Unhandled)
 
 HANDLE (GetModportOp, Unhandled)
 
 HANDLE (AssignInterfaceSignalOp, Unhandled)
 
 HANDLE (ReadInterfaceSignalOp, Unhandled)
 
 HANDLE (MacroDefOp, Unhandled)
 
 HANDLE (MacroDeclOp, Unhandled)
 
 HANDLE (AssertOp, Unhandled)
 
 HANDLE (AssumeOp, Unhandled)
 
 HANDLE (CoverOp, Unhandled)
 
 HANDLE (AssertConcurrentOp, Unhandled)
 
 HANDLE (AssumeConcurrentOp, Unhandled)
 
 HANDLE (CoverConcurrentOp, Unhandled)
 
 HANDLE (BindOp, Unhandled)
 
 HANDLE (StopOp, Unhandled)
 
 HANDLE (FinishOp, Unhandled)
 
 HANDLE (ExitOp, Unhandled)
 
 HANDLE (FatalOp, Unhandled)
 
 HANDLE (ErrorOp, Unhandled)
 
 HANDLE (WarningOp, Unhandled)
 
 HANDLE (InfoOp, Unhandled)
 
 HANDLE (ReadMemOp, Unhandled)
 
 HANDLE (GenerateOp, Unhandled)
 
 HANDLE (GenerateCaseOp, Unhandled)
 
 HANDLE (ForOp, Unhandled)
 
 HANDLE (SampledOp, Unhandled)
 

Detailed Description

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
class circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >

Definition at line 24 of file SVVisitors.h.

Member Function Documentation

◆ dispatchSVVisitor()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::dispatchSVVisitor ( Operation *  op,
ExtraArgs...  args 
)
inline

Definition at line 26 of file SVVisitors.h.

◆ HANDLE() [1/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AliasOp  ,
Unhandled   
)

◆ HANDLE() [2/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AlwaysCombOp  ,
Unhandled   
)

◆ HANDLE() [3/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AlwaysFFOp  ,
Unhandled   
)

◆ HANDLE() [4/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AlwaysOp  ,
Unhandled   
)

◆ HANDLE() [5/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ArrayIndexInOutOp  ,
Unhandled   
)

◆ HANDLE() [6/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssertConcurrentOp  ,
Unhandled   
)

◆ HANDLE() [7/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssertOp  ,
Unhandled   
)

◆ HANDLE() [8/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssignInterfaceSignalOp  ,
Unhandled   
)

◆ HANDLE() [9/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssignOp  ,
Unhandled   
)

◆ HANDLE() [10/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssumeConcurrentOp  ,
Unhandled   
)

◆ HANDLE() [11/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AssumeOp  ,
Unhandled   
)

◆ HANDLE() [12/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BindOp  ,
Unhandled   
)

◆ HANDLE() [13/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( BPAssignOp  ,
Unhandled   
)

◆ HANDLE() [14/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( CaseOp  ,
Unhandled   
)

◆ HANDLE() [15/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConstantStrOp  ,
Unhandled   
)

◆ HANDLE() [16/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConstantXOp  ,
Unhandled   
)

◆ HANDLE() [17/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConstantZOp  ,
Unhandled   
)

◆ HANDLE() [18/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( CoverConcurrentOp  ,
Unhandled   
)

◆ HANDLE() [19/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( CoverOp  ,
Unhandled   
)

◆ HANDLE() [20/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ErrorOp  ,
Unhandled   
)

◆ HANDLE() [21/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ExitOp  ,
Unhandled   
)

◆ HANDLE() [22/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( FatalOp  ,
Unhandled   
)

◆ HANDLE() [23/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( FinishOp  ,
Unhandled   
)

◆ HANDLE() [24/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ForceOp  ,
Unhandled   
)

◆ HANDLE() [25/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ForOp  ,
Unhandled   
)

◆ HANDLE() [26/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( FWriteOp  ,
Unhandled   
)

◆ HANDLE() [27/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( GenerateCaseOp  ,
Unhandled   
)

◆ HANDLE() [28/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( GenerateOp  ,
Unhandled   
)

◆ HANDLE() [29/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( GetModportOp  ,
Unhandled   
)

◆ HANDLE() [30/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IfDefOp  ,
Unhandled   
)

◆ HANDLE() [31/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IfDefProceduralOp  ,
Unhandled   
)

◆ HANDLE() [32/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IfOp  ,
Unhandled   
)

◆ HANDLE() [33/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IndexedPartSelectInOutOp  ,
Unhandled   
)

◆ HANDLE() [34/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IndexedPartSelectOp  ,
Unhandled   
)

◆ HANDLE() [35/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InfoOp  ,
Unhandled   
)

◆ HANDLE() [36/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InitialOp  ,
Unhandled   
)

◆ HANDLE() [37/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InterfaceInstanceOp  ,
Unhandled   
)

◆ HANDLE() [38/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InterfaceModportOp  ,
Unhandled   
)

◆ HANDLE() [39/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InterfaceOp  ,
Unhandled   
)

◆ HANDLE() [40/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( InterfaceSignalOp  ,
Unhandled   
)

◆ HANDLE() [41/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( LocalParamOp  ,
Unhandled   
)

◆ HANDLE() [42/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( LogicOp  ,
Unhandled   
)

◆ HANDLE() [43/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MacroDeclOp  ,
Unhandled   
)

◆ HANDLE() [44/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MacroDefOp  ,
Unhandled   
)

◆ HANDLE() [45/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MacroRefExprOp  ,
Unhandled   
)

◆ HANDLE() [46/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( MacroRefExprSEOp  ,
Unhandled   
)

◆ HANDLE() [47/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( OrderedOutputOp  ,
Unhandled   
)

◆ HANDLE() [48/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( PAssignOp  ,
Unhandled   
)

◆ HANDLE() [49/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ReadInOutOp  ,
Unhandled   
)

◆ HANDLE() [50/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ReadInterfaceSignalOp  ,
Unhandled   
)

◆ HANDLE() [51/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ReadMemOp  ,
Unhandled   
)

◆ HANDLE() [52/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RegOp  ,
Unhandled   
)

◆ HANDLE() [53/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ReleaseOp  ,
Unhandled   
)

◆ HANDLE() [54/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SampledOp  ,
Unhandled   
)

◆ HANDLE() [55/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StopOp  ,
Unhandled   
)

◆ HANDLE() [56/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( StructFieldInOutOp  ,
Unhandled   
)

◆ HANDLE() [57/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( SystemFunctionOp  ,
Unhandled   
)

◆ HANDLE() [58/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( VerbatimExprOp  ,
Unhandled   
)

◆ HANDLE() [59/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( VerbatimExprSEOp  ,
Unhandled   
)

◆ HANDLE() [60/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( VerbatimOp  ,
Unhandled   
)

◆ HANDLE() [61/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( WarningOp  ,
Unhandled   
)

◆ HANDLE() [62/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( WireOp  ,
Unhandled   
)

◆ HANDLE() [63/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( XMROp  ,
Unhandled   
)

◆ HANDLE() [64/64]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( XMRRefOp  ,
Unhandled   
)

◆ visitInvalidSV()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::visitInvalidSV ( Operation *  op,
ExtraArgs...  args 
)
inline

This callback is invoked on any invalid operations.

Definition at line 72 of file SVVisitors.h.

◆ visitUnhandledSV()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::sv::Visitor< ConcreteType, ResultType, ExtraArgs >::visitUnhandledSV ( Operation *  op,
ExtraArgs...  args 
)
inline

This callback is invoked on any SV operations that are not handled by the concrete visitor.

Definition at line 79 of file SVVisitors.h.


The documentation for this class was generated from the following file: