edu.rice.cs.cunit.instrumentors.threadCheck
Class AAddThreadCheckStrategy.OnlyAfterRealizedWarning

java.lang.Object
  extended by edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.OnlyAfterRealizedWarning
All Implemented Interfaces:
IScannerStrategy.IScanResult
Enclosing class:
AAddThreadCheckStrategy

public static class AAddThreadCheckStrategy.OnlyAfterRealizedWarning
extends java.lang.Object
implements IScannerStrategy.IScanResult

ONLY_AFTER_REALIZED warning


Field Summary
(package private)  java.lang.String msg
          Warning message.
 
Constructor Summary
AAddThreadCheckStrategy.OnlyAfterRealizedWarning(java.lang.String msg)
          Creates a new warning.
 
Method Summary
 java.lang.String getPropertyName()
          Return the name of the property that was scanned for.
 java.lang.String toString()
          Returns a string representation of the object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

msg

java.lang.String msg
Warning message.

Constructor Detail

AAddThreadCheckStrategy.OnlyAfterRealizedWarning

public AAddThreadCheckStrategy.OnlyAfterRealizedWarning(java.lang.String msg)
Creates a new warning.

Parameters:
msg - the warning message
Method Detail

getPropertyName

public java.lang.String getPropertyName()
Return the name of the property that was scanned for.

Specified by:
getPropertyName in interface IScannerStrategy.IScanResult
Returns:
property name

toString

public java.lang.String toString()
Returns a string representation of the object.

Overrides:
toString in class java.lang.Object
Returns:
a string representation of the object.