dk.brics.string
Class RuntimeHotspot

java.lang.Object
  dk.brics.string.RuntimeHotspot

public class RuntimeHotspot
extends Object

A representation of a hotspot in the analysis of a program using the string analysis runtime library. Each RuntimeHotspot object corresponds to a specific call of the Strings.analyze or Strings.check runtime method.

See Also:

Strings

Field Summary

Automaton	expected The expected analysis result for the expression.
HotspotKind	kind
ValueBox	spot The actual string expression to analyze.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

expected

public Automaton expected

The expected analysis result for the expression. This corresponds to the regular expression or automaton given in the runtime method call.

kind

public HotspotKind kind

spot

public ValueBox spot

The actual string expression to analyze.