SMTExpr.MatchCase

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.SMTExpr.MatchCase

All Implemented Interfaces:: IExpr.IMatchCase, INode, IPos.IPosable

Enclosing class:: SMTExpr

public static class SMTExpr.MatchCase extends Pos.Printable implements IExpr.IMatchCase

Represents a single case in a match expression: a pattern and its result body.

Field Summary

Fields

Modifier and Type

Field

Description

protected IExpr

body

protected IExpr.IPattern

pattern

Fields inherited from class org.smtlib.impl.Pos.Posable
pos
Constructor Summary

Constructors

Constructor

Description

MatchCase(IExpr.IPattern pattern, IExpr body)

Creates a match case from the given pattern and body expression.
Method Summary

Modifier and Type

Method

Description

<T> T

accept(IVisitor<T> v)

The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }

IExpr

body()

IExpr.IPattern

pattern()

Methods inherited from class org.smtlib.impl.Pos.Printable
toString

Methods inherited from class org.smtlib.impl.Pos.Posable
equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

Field Details
- pattern
  
  protected IExpr.IPattern pattern
- body
  
  protected IExpr body
Constructor Details
- MatchCase
  
  public MatchCase(IExpr.IPattern pattern, IExpr body)
  
  Creates a match case from the given pattern and body expression.
Method Details
- pattern
  
  public IExpr.IPattern pattern()
  
  Specified by:
  
  pattern in interface IExpr.IMatchCase
- body
  
  public IExpr body()
  
  Specified by:
  
  body in interface IExpr.IMatchCase
- accept
  
  public <T> T accept(IVisitor<T> v) throws IVisitor.VisitorException
  
  Description copied from interface: INode
  
  The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
  
  Specified by:
  
  accept in interface INode
  
  Type Parameters:
  
  T - the return type desired from the visit methods
  
  Parameters:
  
  v - the visitor class
  
  Returns:
  
  the value returned by the visit method
  
  Throws:
  
  IVisitor.VisitorException