Class SvaProperty
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.basis.SvaProperty
-
public final class SvaProperty extends java.lang.Object
SvaProperty
represents the SVA property specification.
-
-
Constructor Summary
Constructors Constructor Description SvaProperty()
Creates a new property.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaProperty
clone()
VerilogExpression
getDisableExpression()
Returns the property disabling expression.java.util.List<VerilogEvent>
getEvent()
Returns the clocking events.VerilogExpression
getExpression()
Returns the property expression.void
setDisableExpression(VerilogExpression disableExpression)
Sets the disabling expression.void
setEvent(java.util.List<VerilogEvent> event)
Sets the clocking event.void
setExpression(VerilogExpression property)
Sets the property expression.java.lang.String
toString()
-
-
-
Method Detail
-
getEvent
public java.util.List<VerilogEvent> getEvent()
Returns the clocking events.- Returns:
- the list of
VerilogEvent
.
-
setEvent
public void setEvent(java.util.List<VerilogEvent> event)
Sets the clocking event.- Parameters:
event
- - the specified list ofVerilogEvent
.
-
getDisableExpression
public VerilogExpression getDisableExpression()
Returns the property disabling expression.- Returns:
- the disabling expression.
-
setDisableExpression
public void setDisableExpression(VerilogExpression disableExpression)
Sets the disabling expression.- Parameters:
disableExpression
- - the specified expression.
-
getExpression
public VerilogExpression getExpression()
Returns the property expression.- Returns:
- the property expression.
-
setExpression
public void setExpression(VerilogExpression property)
Sets the property expression.- Parameters:
property
- - the specified property expression.
-
clone
public SvaProperty clone()
- Overrides:
clone
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-