cetus.hir

Class PragmaAnnotation.Range

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<java.lang.String,java.lang.Object>

cetus.hir.Annotation

cetus.hir.PragmaAnnotation

cetus.hir.PragmaAnnotation.Range

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.String,java.lang.Object>

Enclosing class:

PragmaAnnotation

public static class PragmaAnnotation.Range
extends PragmaAnnotation

Pragma annotation type for range annotation. Allowed format: ID: legal identifier at the program point. E1,E2: legal expressions at the program point. #pragma range ID=E1,E2( ID=E1,E2)* TODO: needs entry to parser methods; for now, only takes identifiers.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class cetus.hir.PragmaAnnotation

PragmaAnnotation.Event, PragmaAnnotation.Range

Nested classes/interfaces inherited from class java.util.AbstractMap

java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>

Constructor Summary

Constructors

Constructor and Description
PragmaAnnotation.Range()

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Map<Identifier,RangeExpression>	getMap()
static PragmaAnnotation.Range	parse(java.lang.String note)
java.lang.String	toString() Returns the string representation of this pragma annotation.

Methods inherited from class cetus.hir.PragmaAnnotation

containsKeys, getName, toCommentAnnotation

Methods inherited from class cetus.hir.Annotation

attach, clone, detach, get, getAnnotatable, hideAnnotations, setPosition, setSkipPrint, toString

Methods inherited from class java.util.HashMap

clear, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

PragmaAnnotation.Range

public PragmaAnnotation.Range()

Method Detail

parse

public static PragmaAnnotation.Range parse(java.lang.String note)

getMap

public java.util.Map<Identifier,RangeExpression> getMap()

toString

public java.lang.String toString()

Description copied from class: PragmaAnnotation

Returns the string representation of this pragma annotation.

Overrides:

toString in class PragmaAnnotation

Returns:

the string.