soot.tagkit
Class LoopInvariantTag

java.lang.Object
  soot.tagkit.StringTag
      soot.tagkit.LoopInvariantTag

All Implemented Interfaces:

Tag

public class LoopInvariantTag
extends StringTag

Represents a tag that just has a string to be printed with the code.

Constructor Summary

LoopInvariantTag(String s)

Method Summary

String

getName() Returns the tag name.

Methods inherited from class soot.tagkit.StringTag

getAnalysisType, getInfo, getValue, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopInvariantTag

public LoopInvariantTag(String s)

Method Detail

getName

public String getName()

Returns the tag name.

Specified by:

getName in interface Tag

Overrides:

getName in class StringTag