ROSE  0.11.2.0
InstructionSemantics2.h
1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics2_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics2_H
3 #include <rosePublicConfig.h>
4 #ifdef ROSE_BUILD_BINARY_ANALYSIS_SUPPORT
5 
6 #include <Sawyer/Message.h>
7 
8 namespace Rose {
9 namespace BinaryAnalysis {
10 
278 namespace InstructionSemantics2 {
279 
282 
284 void initDiagnostics();
285 
286 } // namespace
287 } // namespace
288 } // namespace
289 
290 #endif
291 #endif
Collection of streams.
Definition: Message.h:1599
void initDiagnostics()
Initialize diagnostics for instruction semantics.
Main namespace for the ROSE library.
Sawyer::Message::Facility mlog
Diagnostics logging facility for instruction semantics.