com.veromodo.tempo.messages
Class TIOAWarningTypeInferred

java.lang.Object
  extended by com.veromodo.tempo.messages.TIOAMessage
      extended by com.veromodo.tempo.messages.TIOAWarning
          extended by com.veromodo.tempo.messages.TIOABaseWarning
              extended by com.veromodo.tempo.messages.TIOAWarningTypeInferred
All Implemented Interfaces:
java.lang.Comparable<TIOAMessage>

public class TIOAWarningTypeInferred
extends TIOABaseWarning


Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.messages.TIOAMessage
TIOAMessage.Severity
 
Constructor Summary
TIOAWarningTypeInferred(ASTIdentifier id, Type ty)
           
 
Method Summary
 
Methods inherited from class com.veromodo.tempo.messages.TIOAMessage
compareTo, formatForConsole, getDescription, getExplanation, getExtent, getIntSeverity, getSeverity, locToString, setExplanation, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TIOAWarningTypeInferred

public TIOAWarningTypeInferred(ASTIdentifier id,
                               Type ty)