Ejemplo n.º 1
0
class CaseItem(GPRNode):
    choice = Field()
    decls = Field()
Ejemplo n.º 2
0
class PackageExtension(GPRNode):
    extended_name = Field(type=T.Identifier.list)
Ejemplo n.º 3
0
class PackageRenaming(GPRNode):
    renamed_name = Field(type=T.Identifier.list)
Ejemplo n.º 4
0
class ProjectDeclaration(GPRNode):
    qualifier = Field(type=T.ProjectQualifier)
    project_name = Field(type=T.Expr)
    extension = Field(type=T.ProjectExtension)
    decls = Field(type=T.GPRNode.list)
    end_name = Field(type=T.Expr)
Ejemplo n.º 5
0
class VariableDecl(GPRNode):
    var_name = Field(type=T.Identifier)
    var_type = Field(type=T.TypeReference)
    expr = Field(type=T.TermList)
Ejemplo n.º 6
0
class AdaAccessSubp(AdaPreludeNode):
    subp_kind = Field(type=AdaEntityKind)
    skips = Field(type=T.AdaSkip.list)
Ejemplo n.º 7
0
class WithDecl(GPRNode):
    is_limited = Field(type=T.Limited)
    path_names = Field(T.Expr.list)
Ejemplo n.º 8
0
class BarCode(FooNode):
    a = Field()
    prop_1 = Property(Self.a.prop_2)
Ejemplo n.º 9
0
class Plus(Expression):
    left = Field()
    right = Field()

    result = Property(Self.left.result + Self.right.result)
Ejemplo n.º 10
0
class Plus(Expr):
    lhs = Field()
    rhs = Field()
Ejemplo n.º 11
0
class UnreferencedNode(FooNode):
    untyped_field = Field()
Ejemplo n.º 12
0
class SynthNode(FooNode):
    name = Field(type=Name)
    items = Field(type=Literal.list)
Ejemplo n.º 13
0
class BlockVar(DefNode):
    name_field = Field(type=T.Name)
    name = Property(Self.name_field.symbol)
Ejemplo n.º 14
0
class Param(DefNode):
    name_field = Field(type=T.Name)
    name = Property(Self.name_field.symbol)
Ejemplo n.º 15
0
class AdaGeneric(AdaPreludeNode):
    skips = Field(type=T.GPRNode)
Ejemplo n.º 16
0
class AdaPragma(AdaContextClause):
    skips = Field(type=T.AdaSkip.list)
Ejemplo n.º 17
0
class AdaWithFormal(AdaPreludeNode):
    kind = Field(T.AdaEntityKind)
    skips = Field(type=T.AdaSkip.list)
Ejemplo n.º 18
0
class AdaWith(AdaContextClause):
    has_limited = Field(type=T.Limited)
    has_private = Field(type=T.Private)
    packages = Field(T.Expr.list)
Ejemplo n.º 19
0
class AdaPrelude(AdaPreludeNode):
    context_clauses = Field(type=T.AdaContextClause.list)
    library_item = Field(type=T.AdaLibraryItem)
Ejemplo n.º 20
0
class AdaSubp(AdaMain):
    subp_kind = Field(type=AdaEntityKind)
    name = Field(type=T.Expr)
Ejemplo n.º 21
0
class ProjectExtension(GPRNode):
    is_all = Field(type=T.AllQualifier)
    path_name = Field(type=T.StringLiteral)
Ejemplo n.º 22
0
class AdaPkg(AdaMain):
    has_private = Field(type=T.Private)
    name = Field(type=T.Expr)
Ejemplo n.º 23
0
class Project(GPRNode):
    context_clauses = Field(type=T.WithDecl.list)
    project_decl = Field(type=T.ProjectDeclaration)
Ejemplo n.º 24
0
class AdaPkgBody(AdaMain):
    name = Field(type=T.Expr)
Ejemplo n.º 25
0
class AttributeDecl(GPRNode):
    attr_name = Field(type=T.Identifier)
    attr_index = Field(type=T.GPRNode)
    expr = Field(type=T.TermList)
Ejemplo n.º 26
0
class AdaLibraryItem(AdaPreludeNode):
    generic_stub = Field(type=T.AdaGeneric)
    separate = Field(type=T.AdaSeparate)
    main = Field(type=T.AdaMain)
Ejemplo n.º 27
0
class PackageDecl(GPRNode):
    pkg_name = Field(type=T.Identifier)
    pkg_spec = Field(type=T.GPRNode)
Ejemplo n.º 28
0
class AdaSeparate(AdaPreludeNode):
    parent_name = Field(type=T.Expr)
Ejemplo n.º 29
0
class PackageSpec(GPRNode):
    extension = Field(type=T.PackageExtension)
    decls = Field(type=T.GPRNode.list)
    end_name = Field(type=T.Identifier)
Ejemplo n.º 30
0
class CaseConstruction(GPRNode):
    var_ref = Field()
    items = Field()