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.

Field Summary

Fields

Modifier and Type	Field and Description
static String	NAME

Constructor Summary

Constructors

Constructor and Description
LoopInvariantTag(String s)

Method Summary

Modifier and Type	Method and Description
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

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

Constructor Detail

LoopInvariantTag

public LoopInvariantTag(String s)

Method Detail

getName

public String getName()

Description copied from interface: Tag

Returns the tag name.

Specified by:

getName in interface Tag

Overrides:

getName in class StringTag