Packages

c

ch.usi.inf.reveal.parsing.model.java

AssertStatementNode

case class AssertStatementNode(mainExpression: ExpressionNode, optionalExpression: Option[ExpressionNode], labels: Seq[LabelNode], comments: Seq[CommentNode]) extends BlockStatementNode with Product with Serializable

An assertion statement.

mainExpression

the assertion argument.

optionalExpression

the optional expression provided as a message for the assertion exception.

Linear Supertypes
Serializable, Serializable, BlockStatementNode, JavaASTNode, HASTNode, JsonSerializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssertStatementNode
  2. Serializable
  3. Serializable
  4. BlockStatementNode
  5. JavaASTNode
  6. HASTNode
  7. JsonSerializable
  8. Product
  9. Equals
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AssertStatementNode(mainExpression: ExpressionNode, optionalExpression: Option[ExpressionNode], labels: Seq[LabelNode], comments: Seq[CommentNode])

    mainExpression

    the assertion argument.

    optionalExpression

    the optional expression provided as a message for the assertion exception.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def bindLabel(label: LabelNode): AssertStatementNode

    Binds a new label to this block.

    Binds a new label to this block.

    label

    a label.

    returns

    a new node with the label added.

    Definition Classes
    AssertStatementNodeBlockStatementNode
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. val comments: Seq[CommentNode]
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. val labels: Seq[LabelNode]
  13. val mainExpression: ExpressionNode
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  17. val optionalExpression: Option[ExpressionNode]
  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from BlockStatementNode

Inherited from JavaASTNode

Inherited from HASTNode

Inherited from JsonSerializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped