LexgenMessages (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.multijava.util.lexgen
Class LexgenMessages

java.lang.Object
  org.multijava.util.lexgen.LexgenMessages

public class LexgenMessages
extends Object

Field Summary

static MessageDescription DUPLICATE_DEFINITION


static MessageDescription FILE_NOT_FOUND


static MessageDescription FLAG_ON_OTHER


static MessageDescription LEXING_ERROR


static MessageDescription NO_SOURCE_FILE


static MessageDescription PARSING_ERROR


static MessageDescription UNKNOWN_FLAG


Constructor Summary

LexgenMessages()


Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

PARSING_ERROR

public static final MessageDescription PARSING_ERROR

LEXING_ERROR

public static final MessageDescription LEXING_ERROR

DUPLICATE_DEFINITION

public static final MessageDescription DUPLICATE_DEFINITION

FILE_NOT_FOUND

public static final MessageDescription FILE_NOT_FOUND

NO_SOURCE_FILE

public static final MessageDescription NO_SOURCE_FILE

UNKNOWN_FLAG

public static final MessageDescription UNKNOWN_FLAG

FLAG_ON_OTHER

public static final MessageDescription FLAG_ON_OTHER

Constructor Detail

LexgenMessages

public LexgenMessages()