//# 0 errors, 107 messages
//#
package net.sourceforge.pebble.domain;
    //#messagetype.java:1:1: class: net.sourceforge.pebble.domain.MessageType
    //#messagetype.java:1: method: MessageType[] net.sourceforge.pebble.domain.MessageType.values()
    //#input(MessageType[] values()): ENUM$VALUES
    //#input(MessageType[] values()): ENUM$VALUES.length
    //#output(MessageType[] values()): new MessageType[](values#1) num objects
    //#output(MessageType[] values()): return_value.length
    //#output(MessageType[] values()): return_value[0..2]
    //#output(MessageType[] values()): return_value
    //#new obj(MessageType[] values()): new MessageType[](values#1)
    //#post(MessageType[] values()): return_value == &new MessageType[](values#1)
    //#post(MessageType[] values()): new MessageType[](values#1) num objects == 1
    //#post(MessageType[] values()): return_value.length == 3
    //#post(MessageType[] values()): return_value[0..2] == ENUM$VALUES[0..2]
    //#messagetype.java:1: end of method: MessageType[] net.sourceforge.pebble.domain.MessageType.values()
    //#messagetype.java:1: method: MessageType net.sourceforge.pebble.domain.MessageType.valueOf(String)
    //#input(MessageType valueOf(String)): Param_0
    //#input(MessageType valueOf(String)): __Descendant_Table[net/sourceforge/pebble/domain/MessageType]
    //#input(MessageType valueOf(String)): __Descendant_Table[others]
    //#output(MessageType valueOf(String)): return_value
    //#presumption(MessageType valueOf(String)): java.lang.Enum:valueOf(...).__Tag@1 == net/sourceforge/pebble/domain/MessageType
    //#post(MessageType valueOf(String)): init'ed(return_value)
    //#messagetype.java:1: end of method: MessageType net.sourceforge.pebble.domain.MessageType.valueOf(String)

/**
 * Represents a message type.
 *
 * @author    Simon Brown
 */
public enum MessageType {

  INFO("info", "Info"),
    //#messagetype.java:10: method: net.sourceforge.pebble.domain.MessageType.net.sourceforge.pebble.domain.MessageType__static_init
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ERROR
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): INFO
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): WARN
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): __Descendant_Table[net/sourceforge/pebble/domain/MessageType]
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#1) num objects
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): INFO.__Tag
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): INFO.id
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): INFO.name
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#2) num objects
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): WARN.__Tag
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): WARN.id
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): WARN.name
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#3) num objects
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.__Tag
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.id
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.name
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType[](MessageType__static_init#4) num objects
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES.length
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[0]
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[1]
    //#output(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[2]
    //#new obj(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#1)
    //#new obj(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#2)
    //#new obj(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#3)
    //#new obj(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType[](MessageType__static_init#4)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES == &new MessageType[](MessageType__static_init#4)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ERROR == &new MessageType(MessageType__static_init#3)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[2] == &new MessageType(MessageType__static_init#3)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): INFO == &new MessageType(MessageType__static_init#1)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[0] == &new MessageType(MessageType__static_init#1)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): WARN == &new MessageType(MessageType__static_init#2)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES[1] == &new MessageType(MessageType__static_init#2)
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): __Descendant_Table[net/sourceforge/pebble/domain/MessageType] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#1) num objects == 1
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#2) num objects == 1
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType(MessageType__static_init#3) num objects == 1
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): new MessageType[](MessageType__static_init#4) num objects == 1
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): INFO.__Tag == net/sourceforge/pebble/domain/MessageType
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): WARN.__Tag == net/sourceforge/pebble/domain/MessageType
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.__Tag == net/sourceforge/pebble/domain/MessageType
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): INFO.id == &"info"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): INFO.name == &"Info"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): WARN.id == &"warning"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): WARN.name == &"Warning"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.id == &"error"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ERROR.name == &"Error"
    //#post(net.sourceforge.pebble.domain.MessageType__static_init): ENUM$VALUES.length == 3
    //#unanalyzed(net.sourceforge.pebble.domain.MessageType__static_init): Effects-of-calling:java.lang.Enum
  WARN("warning", "Warning"),
  ERROR("error", "Error");
    //#messagetype.java:12: end of method: net.sourceforge.pebble.domain.MessageType.net.sourceforge.pebble.domain.MessageType__static_init

  private String id;
  private String name;

  MessageType(String id, String name) {
    //#messagetype.java:17: method: void net.sourceforge.pebble.domain.MessageType.net.sourceforge.pebble.domain.MessageType(String, int, String, String)
    //#input(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): Param_1
    //#input(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): Param_2
    //#input(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): id
    //#input(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): name
    //#input(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): this
    //#output(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): this.id
    //#output(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): this.name
    //#post(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): this.id == id
    //#post(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): init'ed(this.id)
    //#post(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): this.name == name
    //#post(void net.sourceforge.pebble.domain.MessageType(String, int, String, String)): init'ed(this.name)
    this.id = id;
    this.name = name;
  }
    //#messagetype.java:20: end of method: void net.sourceforge.pebble.domain.MessageType.net.sourceforge.pebble.domain.MessageType(String, int, String, String)

  public String getId() {
    return id;
    //#messagetype.java:23: method: String net.sourceforge.pebble.domain.MessageType.getId()
    //#input(String getId()): this
    //#input(String getId()): this.id
    //#output(String getId()): return_value
    //#pre[2] (String getId()): init'ed(this.id)
    //#post(String getId()): return_value == this.id
    //#post(String getId()): init'ed(return_value)
    //#messagetype.java:23: end of method: String net.sourceforge.pebble.domain.MessageType.getId()
  }

  public String getName() {
    return this.name;
    //#messagetype.java:27: method: String net.sourceforge.pebble.domain.MessageType.getName()
    //#input(String getName()): this
    //#input(String getName()): this.name
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(this.name)
    //#post(String getName()): return_value == this.name
    //#post(String getName()): init'ed(return_value)
    //#messagetype.java:27: end of method: String net.sourceforge.pebble.domain.MessageType.getName()
  }

}    //#messagetype.java:: end of class: net.sourceforge.pebble.domain.MessageType
