tnelson/Margrave — Issue #77: Reflection
Author: tnelson
Created: 2011-10-17 15:31:46+00:00
State: open
Labels: FOR-3.1

The Racket interface (m-let, ... etc.) needs to be able to obtain vocabulary information. For instance, which sorts are available in policy X? What are the constants? And so on.

Can be implemented on the Racket side only for now. (That means no support for reflection in XACML and SQS).