Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
self.rhs = rhs
class ExprReduceOp(ASTNode):
def __init__(self, span, op, lhs, rhs):
ASTNode.__init__(self, span)
self.op = op
self.lhs = lhs
self.rhs = rhs
class ExprCast(ASTNode):
def __init__(self, span, cast_to_type, expr):
ASTNode.__init__(self, span)
self.cast_to_type = cast_to_type
self.expr = expr
class ExprNull(ASTNode):
def __init__(self, span, pointer_type):
ASTNode.__init__(self, span)
self.pointer_type = pointer_type
class ExprIsnull(ASTNode):
def __init__(self, span, pointer_expr):
ASTNode.__init__(self, span)
self.pointer_expr = pointer_expr
class ExprNew(ASTNode):
def __init__(self, span, pointer_type):
ASTNode.__init__(self, span)
self.pointer_type = pointer_type
class ExprRead(ASTNode):
def __init__(self, span, pointer_expr):
class TypeInt8(ASTNode): pass
class TypeInt16(ASTNode): pass
class TypeInt32(ASTNode): pass
class TypeInt64(ASTNode): pass
class TypeUInt8(ASTNode): pass
class TypeUInt16(ASTNode): pass
class TypeUInt32(ASTNode): pass
class TypeUInt64(ASTNode): pass
class TypeColoring(ASTNode):
def __init__(self, span, region):
ASTNode.__init__(self, span)
self.region = region
class TypeColoringRegion(ASTNode):
def __init__(self, span, name):
ASTNode.__init__(self, span)
self.name = name
class TypeID(ASTNode):
def __init__(self, span, name, args):
ASTNode.__init__(self, span)
self.name = name
self.args = args
class TypeArgs(ASTNode):
def __init__(self, span, args = None, arg = None):
ASTNode.__init__(self, span)
self.args = args.args if args is not None else []
self.args += [arg] if arg is not None else []
self.args = args
class TypeArgs(ASTNode):
def __init__(self, span, args = None, arg = None):
ASTNode.__init__(self, span)
self.args = args.args if args is not None else []
self.args += [arg] if arg is not None else []
class TypeArg(ASTNode):
def __init__(self, span, name):
ASTNode.__init__(self, span)
self.name = name
class TypeArgWild(ASTNode): pass
class TypePointer(ASTNode):
def __init__(self, span, points_to_type, regions):
ASTNode.__init__(self, span)
self.points_to_type = points_to_type
self.regions = regions
class TypePointerRegions(ASTNode):
def __init__(self, span, regions = None, region = None):
ASTNode.__init__(self, span)
self.regions = regions.regions if regions is not None else []
self.regions += [region] if region is not None else []
class TypeRegion(ASTNode):
def __init__(self, span, name):
ASTNode.__init__(self, span)
self.name = name
self.op = op
self.lhs = lhs
self.rhs = rhs
class ExprCast(ASTNode):
def __init__(self, span, cast_to_type, expr):
ASTNode.__init__(self, span)
self.cast_to_type = cast_to_type
self.expr = expr
class ExprNull(ASTNode):
def __init__(self, span, pointer_type):
ASTNode.__init__(self, span)
self.pointer_type = pointer_type
class ExprIsnull(ASTNode):
def __init__(self, span, pointer_expr):
ASTNode.__init__(self, span)
self.pointer_expr = pointer_expr
class ExprNew(ASTNode):
def __init__(self, span, pointer_type):
ASTNode.__init__(self, span)
self.pointer_type = pointer_type
class ExprRead(ASTNode):
def __init__(self, span, pointer_expr):
ASTNode.__init__(self, span)
self.pointer_expr = pointer_expr
class ExprWrite(ASTNode):
def __init__(self, span, pointer_expr, value_expr):
self.field_values = field_values.field_values if field_values is not None else []
self.field_values += [field_value] if field_value is not None else []
class FieldValue(ASTNode):
def __init__(self, span, field_name, value_expr):
ASTNode.__init__(self, span)
self.field_name = field_name
self.value_expr = value_expr
class ExprFieldUpdates(ASTNode):
def __init__(self, span, struct_expr, field_updates):
ASTNode.__init__(self, span)
self.struct_expr = struct_expr
self.field_updates = field_updates
class FieldUpdates(ASTNode):
def __init__(self, span, field_updates = None, field_update = None):
ASTNode.__init__(self, span)
self.field_updates = field_updates.field_updates if field_updates is not None else []
self.field_updates += [field_update] if field_update is not None else []
class FieldUpdate(ASTNode):
def __init__(self, span, field_name, update_expr):
ASTNode.__init__(self, span)
self.field_name = field_name
self.update_expr = update_expr
class ExprColoring(ASTNode):
def __init__(self, span, region):
ASTNode.__init__(self, span)
self.region = region
self.pointer_expr = pointer_expr
self.color_expr = color_expr
class ExprUpregion(ASTNode):
def __init__(self, span, regions, expr):
ASTNode.__init__(self, span)
self.regions = regions
self.expr = expr
class UpregionRegions(ASTNode):
def __init__(self, span, regions = None, region = None):
ASTNode.__init__(self, span)
self.regions = regions.regions if regions is not None else []
self.regions += [region] if region is not None else []
class UpregionRegion(ASTNode):
def __init__(self, span, name):
ASTNode.__init__(self, span)
self.name = name
class ExprDownregion(ASTNode):
def __init__(self, span, regions, expr):
ASTNode.__init__(self, span)
self.regions = regions
self.expr = expr
class DownregionRegions(ASTNode):
def __init__(self, span, regions = None, region = None):
ASTNode.__init__(self, span)
self.regions = regions.regions if regions is not None else []
self.regions += [region] if region is not None else []
self.expr = expr
self.type = type
self.regions = regions
class PackRegions(ASTNode):
def __init__(self, span, regions = None, region = None):
ASTNode.__init__(self, span)
self.regions = regions.regions if regions is not None else []
self.regions += [region] if region is not None else []
class PackRegion(ASTNode):
def __init__(self, span, name):
ASTNode.__init__(self, span)
self.name = name
class ExprCall(ASTNode):
def __init__(self, span, function, args):
ASTNode.__init__(self, span)
self.function = function
self.args = args
class Args(ASTNode):
def __init__(self, span, args = None, arg = None):
ASTNode.__init__(self, span)
self.args = args.args if args is not None else []
self.args += [arg] if arg is not None else []
class ExprConstBool(ASTNode):
def __init__(self, span, value):
ASTNode.__init__(self, span)
self.value = value
def __init__(self, span, params = None, param = None):
ASTNode.__init__(self, span)
self.params = params.params if params is not None else []
self.params += [param] if param is not None else []
class StatementLet(ASTNode):
def __init__(self, span, name, type, expr):
ASTNode.__init__(self, span)
self.name = name
self.type = type
self.expr = expr
class StatementLetRegion(ASTNode):
def __init__(self, span, name, region_kind, element_type, size_expr):
ASTNode.__init__(self, span)
self.name = name
self.region_kind = region_kind
self.element_type = element_type
self.size_expr = size_expr
class StatementLetArray(ASTNode):
def __init__(self, span, name, region_kind, ispace_type, element_type):
ASTNode.__init__(self, span)
self.name = name
self.region_kind = region_kind
self.ispace_type = ispace_type
self.element_type = element_type
class StatementLetIspace(ASTNode):
def __init__(self, span, name, ispace_kind, index_type, size_expr):
ASTNode.__init__(self, span)
self.name = name
self.ispace_kind = ispace_kind
self.index_type = index_type
self.size_expr = size_expr
class StatementLetPartition(ASTNode):
def __init__(self, span, name, region_kind, element_type, size_expr):
ASTNode.__init__(self, span)
self.name = name
self.region_kind = region_kind
self.element_type = element_type
self.size_expr = size_expr
class StatementLetArray(ASTNode):
def __init__(self, span, name, region_kind, ispace_type, element_type):
ASTNode.__init__(self, span)
self.name = name
self.region_kind = region_kind
self.ispace_type = ispace_type
self.element_type = element_type
class StatementLetIspace(ASTNode):
def __init__(self, span, name, ispace_kind, index_type, size_expr):
ASTNode.__init__(self, span)
self.name = name
self.ispace_kind = ispace_kind
self.index_type = index_type
self.size_expr = size_expr
class StatementLetPartition(ASTNode):
def __init__(self, span, name, partition_kind, region_type, mode, coloring_expr):
ASTNode.__init__(self, span)
self.name = name
self.partition_kind = partition_kind
self.region_type = region_type
self.mode = mode
self.coloring_expr = coloring_expr