libvata2  [unstable] git snapshot
Classes | Namespaces | Typedefs
vm.hh File Reference
#include <stack>
#include <vata2/parser.hh>

Go to the source code of this file.

Classes

class  VMValue
 Data type representing a value, which is composed of a type and a pointer to a general memory. More...
 
class  VirtualMachine
 The virtual machine executing VATA code. More...
 
class  VMException
 The exception for virtual machine errors. More...
 

Namespaces

 Vata2
 
 Vata2::VM
 

Typedefs

using VMPointer = const void *
 Data type representing a pointer to a memory holding a value. More...
 
using VMStorage = std::unordered_map< std::string, VMValue >
 A dictionary mapping names to values. More...