wyil.lang

Class WyilFile.FunctionOrMethodOrProperty

java.lang.Object

wyil.lang.WyilFile.Block

wyil.lang.WyilFile.Declaration

wyil.lang.WyilFile.FunctionOrMethodOrProperty

All Implemented Interfaces:

wybs.lang.SyntacticElement

Direct Known Subclasses:

WyilFile.FunctionOrMethod, WyilFile.Property

Enclosing class:

WyilFile

public static class WyilFile.FunctionOrMethodOrProperty
extends WyilFile.Declaration

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
List<SyntaxTree.Location<Bytecode.Expr>>	getPrecondition() Get the list of expressions that make up the precondition of this function/method.
boolean	isFunction() Check whether this represents a function declaration or not.
boolean	isMethod() Check whether this represents a method declaration or not.
Type.FunctionOrMethod	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

FunctionOrMethodOrProperty

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

FunctionOrMethodOrProperty

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

Method Detail

type

public Type.FunctionOrMethod type()

getPrecondition

public List<SyntaxTree.Location<Bytecode.Expr>> getPrecondition()

Get the list of expressions that make up the precondition of this function/method. This list maybe empty, but it cannot be null.

Returns:

isFunction

public boolean isFunction()

Check whether this represents a function declaration or not.

Returns:

isMethod

public boolean isMethod()

Check whether this represents a method declaration or not.

Returns: