SMTCommandTerminator

Class for adding parentheses () after each SMT-LIB command; this is necessary in the interactive/incremental mode, because otherwise the parser always waits for the next token to arrive before forwarding a command. This also removes all CR-characters in a stream (necessary because the lexer seems to dislike CRs in comments), and adds an LF in the end, because the lexer does not allow inputs that end with a //-comment line either.

Linear Supertypes

Reader, Closeable, AutoCloseable, Readable, AnyRef, Any

Instance Constructors

new SMTCommandTerminator(input: Reader)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def close(): Unit

Definition Classes
SMTCommandTerminator → Reader → Closeable → AutoCloseable
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def mark(arg0: Int): Unit

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
def markSupported(): Boolean

Definition Classes
Reader
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def read(cbuf: Array[Char], off: Int, len: Int): Int

Definition Classes
SMTCommandTerminator → Reader
def read(arg0: Array[Char]): Int

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
def read(): Int

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
def read(arg0: CharBuffer): Int

Definition Classes
Reader → Readable
Annotations
@throws( classOf[java.io.IOException] )
def ready(): Boolean

Definition Classes
SMTCommandTerminator → Reader
def reset(): Unit

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
def skip(arg0: Long): Long

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transferTo(arg0: Writer): Long

Definition Classes
Reader
Annotations
@throws( classOf[java.io.IOException] )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package SMTParser2InputAbsy

class SMTCommandTerminator extends Reader

Instance Constructors

new SMTCommandTerminator(input: Reader)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def close(): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def mark(arg0: Int): Unit

def markSupported(): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def read(cbuf: Array[Char], off: Int, len: Int): Int

def read(arg0: Array[Char]): Int

def read(): Int

def read(arg0: CharBuffer): Int

def ready(): Boolean

def reset(): Unit

def skip(arg0: Long): Long

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def transferTo(arg0: Writer): Long

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from Reader

Inherited from Closeable

Inherited from AutoCloseable

Inherited from Readable

Inherited from AnyRef

Inherited from Any

Ungrouped