wyil.lang

Class WyilFile.Property

java.lang.Object

wyil.lang.WyilFile.Block

wyil.lang.WyilFile.Declaration

wyil.lang.WyilFile.FunctionOrMethodOrProperty

wyil.lang.WyilFile.Property

All Implemented Interfaces:

wybs.lang.SyntacticElement

Enclosing class:

WyilFile

public static final class WyilFile.Property
extends WyilFile.FunctionOrMethodOrProperty

Nested Class Summary

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Constructor Summary

Constructors

Constructor and Description
Property(WyilFile parent, Collection<Modifier> modifiers, String name, Type.Property type, wybs.lang.Attribute... attributes)

Method Summary

Methods inherited from class wyil.lang.WyilFile.FunctionOrMethodOrProperty

getPrecondition, isFunction, isMethod, type

Methods inherited from class wyil.lang.WyilFile.Declaration

getTree, hasModifier, modifiers, name

Methods inherited from class wyil.lang.WyilFile.Block

attribute, attributes, parent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Property

public Property(WyilFile parent,
                Collection<Modifier> modifiers,
                String name,
                Type.Property type,
                wybs.lang.Attribute... attributes)