Enumerations

wali::walienum Namespace Reference

Enumerations

enum  ETag {
  NONE,
  CALL,
  RETURN
}

Enumeration Type Documentation

enum wali::walienum::ETag
Enumerator:
NONE 
CALL 
RETURN 
Generated on Tue Jan 31 2012 17:06:22 for Wali by  doxygen 1.7.1