public SingletonDefinition(LexicalScope/*!*/ definedScope, Expression/*!*/ singleton, Body/*!*/ body, SourceSpan location)
: base(definedScope, body, location)
{
ContractUtils.RequiresNotNull(singleton, "singleton");
_singleton = singleton;
}
public ClassDefinition(LexicalScope/*!*/ definedScope, ConstantVariable/*!*/ name, Expression superClass, Body/*!*/ body, SourceSpan location)
: base(definedScope, name, body, location)
{
ContractUtils.RequiresNotNull(name, "name");
_superClass = superClass;
}
public ModuleDefinition(LexicalScope/*!*/ definedScope, ConstantVariable/*!*/ qualifiedName, Body/*!*/ body, SourceSpan location)
: base(definedScope, body, location)
{
ContractUtils.RequiresNotNull(qualifiedName, "qualifiedName");
_qualifiedName = qualifiedName;
}
protected DefinitionExpression(LexicalScope/*!*/ definedScope, Body/*!*/ body, SourceSpan location)
: base(location) {
ContractUtils.RequiresNotNull(definedScope, "definedScope");
ContractUtils.RequiresNotNull(body, "body");
_definedScope = definedScope;
_body = body;
}
public MethodDefinition(LexicalScope/*!*/ definedScope, Expression target, string/*!*/ name, Parameters parameters, Body/*!*/ body,
SourceSpan location)
: base(definedScope, body, location) {
Assert.NotNull(name);
_target = target;
_name = name;
_parameters = parameters ?? Parameters.Empty;
}
public MethodDefinition(LexicalScope/*!*/ definedScope, Expression target, string/*!*/ name, Parameters parameters, Body/*!*/ body,
SourceSpan location)
: base(definedScope, body, location)
{
Assert.NotNull(name);
// only for-loop block might use other than local variable for unsplat:
Debug.Assert(parameters.Unsplat == null || parameters.Unsplat is LocalVariable);
_target = target;
_name = name;
_parameters = parameters ?? Parameters.Empty;
}
protected ModuleDefinition(LexicalScope/*!*/ definedScope, Body/*!*/ body, SourceSpan location)
: base(definedScope, body, location) {
_qualifiedName = null;
}
public virtual void Exit(Body/*!*/ node) { }
public virtual bool Enter(Body/*!*/ node) { return true; }
public ClassDefinition(LexicalScope /*!*/ definedScope, ConstantVariable /*!*/ name, Expression superClass, Body /*!*/ body, SourceSpan location)
: base(definedScope, name, body, location)
{
ContractUtils.RequiresNotNull(name, "name");
_superClass = superClass;
}
public virtual void Exit(Body /*!*/ node)
{
}
public virtual bool Enter(Body /*!*/ node)
{
return(true);
}
