Macro

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> bossa >> [ syntax overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

bossa.syntax
Interface Macro

All Superinterfaces:: gnu.expr.Inlineable

public interface Macro
extends gnu.expr.Inlineable

A macro. This interface should be implemented by classes that are used to implement inlined methods, and that need to do some semantic checking on their actual arguments.

Version:: $Date: 2003/04/30 18:55:31 $

Method Summary

void checkSpecialRequirements(Expression[] arguments)
For each call site, this method is called with the actual arguments of the macro.

Methods inherited from interface gnu.expr.Inlineable

compile, getReturnType

Method Detail

checkSpecialRequirements

public void checkSpecialRequirements(Expression[] arguments)

For each call site, this method is called with the actual arguments of the macro. This can be used to check special requirements on the arguments that could not be expressed in the type of the macro. For instance, it might be necessary to check that a certain argument is assignable if it is modified by the macro.