public FieldSyntax(Accessibility access, bool isMutableBinding, SyntaxToken name, ReferenceTypeSyntax type, ExpressionSyntax initExpression)
: base(name)
{
Requires.EnumDefined(access, nameof(access));
Requires.NotNull(type, nameof(type));
Access = access;
IsMutableBinding = isMutableBinding;
Type = type;
InitExpression = initExpression;
}
public FieldSyntax(Accessibility access, bool isMutableBinding, SyntaxToken name, ReferenceTypeSyntax type, ExpressionSyntax initExpression)
: base(name)
{
Requires.EnumDefined(access, nameof(access));
Requires.NotNull(type, nameof(type));
Access = access;
IsMutableBinding = isMutableBinding;
Type = type;
InitExpression = initExpression;
}
public GlobalVariableSyntax(
Accessibility accessibility,
bool isMutableBinding,
SyntaxToken name,
ReferenceTypeSyntax type,
ExpressionSyntax initExpression)
: base(accessibility, name)
{
IsMutableBinding = isMutableBinding;
Type = type;
InitExpression = initExpression;
}
public FunctionSyntax(
Accessibility accessibility,
SyntaxToken name,
IEnumerable <ParameterSyntax> parameters,
ReferenceTypeSyntax returnType,
IEnumerable <StatementSyntax> body)
: base(accessibility, name)
{
Parameters = parameters.ToList();
ReturnType = returnType;
Body = body.ToList();
}
public GlobalVariableSyntax(
Accessibility accessibility,
bool isMutableBinding,
SyntaxToken name,
ReferenceTypeSyntax type,
ExpressionSyntax initExpression)
: base(accessibility, name)
{
IsMutableBinding = isMutableBinding;
Type = type;
InitExpression = initExpression;
}
public ReferenceType(ReferenceTypeSyntax syntax, Package containingPackage, ValueType type)
: base(syntax, containingPackage)
{
IsOwned = syntax.IsOwned ?? false; // TODO actually infer ownership
Type = type;
}
private static ReferenceType Resolve(Package containingPackage, ReferenceTypeSyntax syntax, IReadOnlyDictionary <SyntaxNode, Binder> binders)
{
var valueType = Resolve(containingPackage, syntax.Type, binders);
return(new ReferenceType(syntax, containingPackage, valueType));
}
public virtual void VisitReferenceType(ReferenceTypeSyntax node)
{
}
