Class SvaPortConnection
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.basis.SvaPortConnection
-
public final class SvaPortConnection extends java.lang.Object
SvaPortConnection
represents the property/sequence port connection.
-
-
Constructor Summary
Constructors Constructor Description SvaPortConnection()
Creates a new port connection.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaPortConnection
clone()
java.lang.Object
getArgument()
Returns the argument connected to the port.java.lang.String
getName()
Returns the port name.boolean
isEvent()
Checks whether the connected argument is an event.boolean
isExpression()
Checks whether the connected argument is an expression.void
setArgument(java.lang.Object argument)
Sets the connected argument.void
setName(java.lang.String name)
Sets the port name.java.lang.String
toString()
-
-
-
Method Detail
-
getName
public java.lang.String getName()
Returns the port name.- Returns:
- the port name.
-
setName
public void setName(java.lang.String name)
Sets the port name.- Parameters:
name
- - the specified name.
-
getArgument
public java.lang.Object getArgument()
Returns the argument connected to the port.- Returns:
- the port argument.
-
setArgument
public void setArgument(java.lang.Object argument)
Sets the connected argument.- Parameters:
argument
- - the specified argument.
-
isExpression
public boolean isExpression()
Checks whether the connected argument is an expression.- Returns:
true
if the connected argument is an expression,false
otherwise.
-
isEvent
public boolean isEvent()
Checks whether the connected argument is an event.- Returns:
true
if the connected argument is an event,false
otherwise.
-
clone
public SvaPortConnection clone()
- Overrides:
clone
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-