ROSE  0.11.98.0
Public Attributes | List of all members
Rose::BinaryAnalysis::ModelChecker::ThrownTag Struct Reference

Description

Exception wrapper for tags.

Definition at line 82 of file Tag.h.

#include <Rose/BinaryAnalysis/ModelChecker/Tag.h>

Public Attributes

Tag::Ptr tag
 

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