public class Pragma
extends java.lang.Object
implements WarningHandler

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addWarning(Warning warning)`
`static Pragma`	`createEmpty()`
`void`	`define(java.lang.String keyName, java.lang.String value)`
`java.lang.String`	`getValue(PragmaKey key)`
`java.util.Collection<Warning>`	`getWarnings()`
`boolean`	`isDefine(PragmaKey key)`
`boolean`	`isFalse(PragmaKey key)`
`boolean`	`isTrue(PragmaKey key)`
`static boolean`	`legacyReplaceBackslashNByNewline()`
`void`	`undefine(PragmaKey key)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public void define(java.lang.String keyName,
                   java.lang.String value)

public boolean isDefine(PragmaKey key)

public void undefine(PragmaKey key)

public java.lang.String getValue(PragmaKey key)

public boolean isTrue(PragmaKey key)

public boolean isFalse(PragmaKey key)

public static boolean legacyReplaceBackslashNByNewline()

Class Pragma