public final class Attribute
extends java.lang.Object
| Constructor and Description |
|---|
Attribute(java.lang.String id,
ru.ispras.fortress.data.DataType type) |
Attribute(java.lang.String id,
ru.ispras.fortress.data.DataType type,
java.util.List<Stmt> stmts) |
| Modifier and Type | Method and Description |
|---|---|
ru.ispras.fortress.data.DataType |
getDataType() |
java.lang.String |
getId() |
java.util.List<Stmt> |
getStmts() |
java.lang.String |
toString() |
public Attribute(java.lang.String id,
ru.ispras.fortress.data.DataType type)
public Attribute(java.lang.String id,
ru.ispras.fortress.data.DataType type,
java.util.List<Stmt> stmts)
public java.lang.String getId()
public ru.ispras.fortress.data.DataType getDataType()
public java.util.List<Stmt> getStmts()
public java.lang.String toString()
toString in class java.lang.Object