Create an istance of DomainBrowser
Create a DomainBrowser tool if the useDB flag is true, otherwise
create the Hyperbolic-DomainBrowser tool if the useHDB flag is true
Use a PlainDomainBrowser otherwise
check the refrains that apply to this call
Should add a parameter to this method
For now it just returns whether the set of actions are allowed or
not depending on whether a refrain applies to any of the actions.
Constructor which accepts a PrintStream to use as the output
for compiler standard output messages, and a second PrintStream to
be used for compiler error messages
Construct a new CompositePolicyICode with the given CompositePolicy
object (created by the semantic analysers) and the given type
(from CompositePolicyI)
Copy the sub-entries (sub-policies) of the given composite policy
type to the composite policy entry (which is an instantiation of
the composite policy type)
Copy the sub-entries (sub-policies) of the given composite policy
type to the composite policy entry (which is an instantiation of
the composite policy type)