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

Constructors

Constructor and Description
LoopInvariantTag(java.lang.String s)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.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(java.lang.String s)

Method Detail

getName

public java.lang.String getName()

Returns the tag name.

Specified by:

getName in interface Tag

Overrides:

getName in class StringTag