Package org.openzen.zenscript.codemodel.annotations

Class PreconditionForMethod

java.lang.Object

org.openzen.zenscript.codemodel.annotations.PreconditionForMethod

All Implemented Interfaces:

MemberAnnotation

public class PreconditionForMethod
extends Object
implements MemberAnnotation

Field Summary

Fields inherited from interface org.openzen.zenscript.codemodel.annotations.MemberAnnotation

NONE

Constructor Summary

Constructors

Constructor	Description
PreconditionForMethod(CodePosition position, String enforcement, Expression condition, Expression message)

Method Summary

Modifier and Type	Method	Description
void	apply(IDefinitionMember member, BaseScope scope)
void	applyOnOverridingGetter(GetterMember member, BaseScope scope)
void	applyOnOverridingMethod(FunctionalMember member, BaseScope scope)
void	applyOnOverridingSetter(SetterMember member, BaseScope scope)
AnnotationDefinition	getDefinition()
void	serialize(CodeSerializationOutput output, IDefinitionMember member, TypeContext context)

Methods inherited from class java.lang.Object

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

Constructor Details

PreconditionForMethod

public PreconditionForMethod(CodePosition position,
 String enforcement,
 Expression condition,
 Expression message)

Method Details

getDefinition

public AnnotationDefinition getDefinition()

Specified by:

getDefinition in interface MemberAnnotation

apply

public void apply(IDefinitionMember member,
 BaseScope scope)

Specified by:

apply in interface MemberAnnotation

applyOnOverridingMethod

public void applyOnOverridingMethod(FunctionalMember member,
 BaseScope scope)

Specified by:

applyOnOverridingMethod in interface MemberAnnotation

applyOnOverridingGetter

public void applyOnOverridingGetter(GetterMember member,
 BaseScope scope)

Specified by:

applyOnOverridingGetter in interface MemberAnnotation

applyOnOverridingSetter

public void applyOnOverridingSetter(SetterMember member,
 BaseScope scope)

Specified by:

applyOnOverridingSetter in interface MemberAnnotation

serialize

public void serialize(CodeSerializationOutput output,
 IDefinitionMember member,
 TypeContext context)

Specified by:

serialize in interface MemberAnnotation