Class Message

    • Field Detail

      • msgST

        public org.stringtemplate.v4.ST msgST
      • locationST

        public org.stringtemplate.v4.ST locationST
      • reportST

        public org.stringtemplate.v4.ST reportST
      • messageFormatST

        public org.stringtemplate.v4.ST messageFormatST
      • msgID

        public int msgID
      • line

        public int line
      • column

        public int column
    • Constructor Detail

      • Message

        public Message()
      • Message

        public Message​(int msgID)
      • Message

        public Message​(int msgID,
                       Object arg,
                       Object arg2)
    • Method Detail

      • setLine

        public void setLine​(int line)
      • setColumn

        public void setColumn​(int column)
      • setMessageID

        public void setMessageID​(int msgID)
      • getMessageTemplate

        public org.stringtemplate.v4.ST getMessageTemplate()
        Return a new template instance every time someone tries to print a Message.
      • getLocationTemplate

        public org.stringtemplate.v4.ST getLocationTemplate()
        Return a new template instance for the location part of a Message. TODO: Is this really necessary? -Kay
      • toString

        public String toString​(org.stringtemplate.v4.ST messageST)