org.python.core

Interface PragmaReceiver

public interface PragmaReceiver

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Pragma pragma)

Method Detail

add

void add(Pragma pragma)