Python UserField Examples

Example #1

File: test.py Project: QuentinOchem/langkit

class FooNode(ASTNode):
    v = UserField(type=T.LogicVar, public=False)

Example #2

File: test.py Project: pmderodat/langkit

class FooNodeStruct(Struct):
    node = UserField(T.FooNode.entity)

Example #3

class Metadata(Struct):
    node = UserField(T.FooNode)

Example #4

 class MyStruct(Struct):
     A = UserField(type=BoolType)

Example #5

File: test.py Project: pmderodat/langkit

class NodeResult(Struct):
    n = UserField(type=T.Example)

Example #6

class TestStruct(Struct):
    count = UserField(type=T.Int)
    nodes = UserField(type=T.Example.entity.array)

Example #7

class EnvStruct(Struct):
    env = UserField(type=T.LexicalEnv)

Example #8

File: test.py Project: QuentinOchem/langkit

class Metadata(Struct):
    is_first = UserField(Bool)
    is_second = UserField(Bool)

Example #9

 class Metadata(Struct):
     flag = UserField(type=T.Bool)

Example #10

File: test.py Project: QuentinOchem/langkit

class KV(Struct):
    key = UserField(type=T.String)
    value = UserField(type=T.Int, default_value=42)
    node = UserField(type=T.FooNode, default_value=No(T.FooNode))

Example #11

File: test.py Project: pmderodat/langkit

class Str(Struct):
    value = UserField(type=T.String)

Example #12

File: test.py Project: briot/langkit

 class MyStruct(Struct):
     a = UserField(type=LongType)
     b = UserField(type=LongType)

Example #13

File: test.py Project: shintakezou/langkit

class MyStruct(Struct):
    children = UserField(type=T.MyStruct.array)

Example #14

File: test.py Project: pmderodat/langkit

class SomeStruct(Struct):
    examples = UserField(T.Example.entity.array)

Example #15

File: test.py Project: QuentinOchem/langkit

class KV(Struct):
    key = UserField(type=T.String)
    value = UserField(type=T.String)

Example #16

class Point(Struct):
    label = UserField(type=T.String)
    x = UserField(type=T.BigInt)
    y = UserField(type=T.BigInt)

Example #17

File: test.py Project: QuentinOchem/langkit

class SynthId(FooNode):
    sym = UserField(type=T.Symbol, public=False)

    @langkit_property(return_type=T.String, public=True)
    def get_sym():
        return Self.sym.image

Example #18

 class FooNode(ASTNode):
     ref_var = UserField(LogicVar, public=False)
     type_var = UserField(LogicVar, public=False)

Example #19

class Metadata(Struct):
    node = UserField(type=FooNode)

Example #20

File: test.py Project: yakobowski/langkit

 class Example(FooNode):
     f = UserField(FooNode)

Example #21

class Metadata(Struct):
    b = UserField(type=BoolType)

Example #22

 class StructB(StructA):
     b = UserField(type=Int)

Example #23

File: test.py Project: shintakezou/langkit

class MyStruct(Struct):
    entity_field = UserField(type=T.FooNode)
    array_field = UserField(type=T.FooNode.entity.array)
    bigint_field = UserField(type=T.BigInt)

Example #24

class StructA(Struct):
    a = UserField(type=Int)

Example #25

File: test.py Project: pmderodat/langkit

class PrivatePoint(Struct):
    x = UserField(type=T.BigInt)
    y = UserField(type=T.BigInt)

Example #26

 class KV(Struct):
     key = UserField(type=T.String)
     val = UserField(type=T.BigInt)