wyil.lang

Class WyilFile.FunctionOrMethod

java.lang.Object

wyil.lang.WyilFile.Block

wyil.lang.WyilFile.Declaration

wyil.lang.WyilFile.FunctionOrMethodOrProperty

wyil.lang.WyilFile.FunctionOrMethod

All Implemented Interfaces:

wybs.lang.SyntacticElement

Enclosing class:

WyilFile

public static final class WyilFile.FunctionOrMethod
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
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, wybs.lang.Attribute... attributes)
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, Collection<wybs.lang.Attribute> attributes)

Method Summary

Modifier and Type	Method and Description
SyntaxTree.Location<Bytecode.Block>	getBody() Get the body of this function or method
List<SyntaxTree.Location<Bytecode.Expr>>	getPostcondition() Get the list of expressions that make up the postcondition of this function/method.
void	setBody(SyntaxTree.Location<Bytecode.Block> body)

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

FunctionOrMethod

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

FunctionOrMethod

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

Method Detail

getPostcondition

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

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

Returns:

getBody

public SyntaxTree.Location<Bytecode.Block> getBody()

Get the body of this function or method

Returns:

setBody

public void setBody(SyntaxTree.Location<Bytecode.Block> body)