dk.brics.tajs.flowgraph.syntaticinfo

Class DynamicProperty

java.lang.Object

dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference

dk.brics.tajs.flowgraph.syntaticinfo.Property

dk.brics.tajs.flowgraph.syntaticinfo.DynamicProperty

public class DynamicProperty
extends Property

A dynamic property reference.

Property Summary

Properties inherited from class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference

asDynamicProperty, asProperty, asStaticProperty

Nested Class Summary

Nested classes/interfaces inherited from class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference

SyntacticReference.Type

Field Summary

Fields

Modifier and Type	Field and Description
SyntacticReference	property
int	propertyRegister The register where the property value is stored.

Fields inherited from class dk.brics.tajs.flowgraph.syntaticinfo.Property

base, baseRegister

Fields inherited from class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference

location, type

Constructor Summary

Constructors

Constructor and Description
DynamicProperty(SyntacticReference base, int baseRegister, SyntacticReference property, int propertyRegister, SourceLocation location) Constructs a new dynamic property reference.

Method Summary

Methods inherited from class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference

asDynamicProperty, asProperty, asStaticProperty, asVariable, changeSourceLocation

Methods inherited from class java.lang.Object

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

Field Detail

property

public final SyntacticReference property

propertyRegister

public final int propertyRegister

The register where the property value is stored.

Constructor Detail

DynamicProperty

public DynamicProperty(SyntacticReference base,
                       int baseRegister,
                       SyntacticReference property,
                       int propertyRegister,
                       SourceLocation location)

Constructs a new dynamic property reference.