class Example(BaseExample):
fld_2 = NullField()
fld_1 = Field()
@langkit_property()
def to_public(p=T.PrivatePoint):
return Point.new(label=String("from private"), x=p.x, y=p.y)
@langkit_property(public=True)
def prop(p=T.Point):
return Self.to_public(PrivatePoint.new(x=p.x, y=p.y))
@langkit_property(public=True)
def result():
return T.NodeResult.new(n=Self, e=Entity)
# Test for primitive types
id_bool = Property(lambda id=T.Bool: id, public=True)
id_int = Property(lambda id=T.Int: id, public=True)
id_bigint = Property(lambda id=T.BigInt: id, public=True)
id_char = Property(lambda id=T.Character: id, public=True)
id_token = Property(lambda id=T.Token: id, public=True)
id_sym = Property(lambda id=T.Symbol: id, public=True)
id_unit = Property(lambda id=T.AnalysisUnit: id, public=True)
id_root_node = Property(lambda id=T.FooNode: id, public=True)
id_name = Property(lambda id=T.Name: id, public=True)
# Test for enums
id_unit_kind = Property(lambda id=T.AnalysisUnitKind: id, public=True)
# Test for arrays
id_node_array = Property(lambda id=T.FooNode.entity.array: id, public=True)
id_expr_array = Property(lambda id=T.Expr.entity.array: id, public=True)
id_bigint_array = Property(lambda id=T.BigInt.array: id, public=True)
id_unit_array = Property(lambda id=T.AnalysisUnit.array: id, public=True)
# Test for iterators
create_bigint_iterator = Property(
ArrayLiteral([BigIntLiteral(1), BigIntLiteral(2), BigIntLiteral(3)])
.to_iterator,
public=True
)
id_bigint_iterator = Property(lambda id=T.BigInt.iterator: id, public=True)
# Test for default values
id_dflt_bool = Property(lambda id=(T.Bool, True): id, public=True)
id_dflt_int = Property(lambda id=(T.Int, 42): id, public=True)
id_dflt_char = Property(
lambda id=(T.Character, CharacterLiteral('\x00')): id,
public=True)
id_dflt_root_node = Property(lambda id=(T.FooNode, No(T.FooNode)): id,
public=True)
class FunDecl(Decl):
name = Field()
value = NullField()
class ExampleHolder(FooNode):
f = NullField()