File sageGeneric.h#

Parent directory (src/frontend/SageIII/sageInterface)

This file implements generic (template) sage query functions Currently this includes functions for:

Definition (src/frontend/SageIII/sageInterface/sageGeneric.h)#

Detailed Description#

  • dispatching according to the type of a sage node (dispatch)

  • finding the ancestor with a specific node type (ancestor)

  • recovering the type of a sage node assertively (assert_node_type)

Includes#

  • sstream

  • type_traits

  • typeinfo

Namespaces#

Classes#

Functions#

Defines#