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