Uses of Interface
org.smtlib.ICommand.Icomment

Packages that use ICommand.Icomment

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.command	This package contains implementations of the SMT-LIB commands, implementing the interfaces defined in ICommand; these implementations are independent of the concrete syntax that might be used, except that each command object has methods that can parse or print representations of the command in the standard (or potentially other) concrete syntaxes.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of ICommand.Icomment in org.smtlib

Methods in org.smtlib that return ICommand.Icomment

Modifier and Type	Method	Description
ICommand.Icomment	ICommand.IFactory.comment(String text)	Creates a comment pseudo-command object, carrying the given raw comment text (see ICommand.Icomment).

Methods in org.smtlib with parameters of type ICommand.Icomment

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(ICommand.Icomment e)
default T	IVisitor.visit(ICommand.Icomment e)

Uses of ICommand.Icomment in org.smtlib.command

Classes in org.smtlib.command that implement ICommand.Icomment

Modifier and Type	Class	Description
class	C_comment	A synthetic pseudo-command representing a comment that appeared immediately before a real command in a script -- not part of the SMT-LIB command grammar itself, but modeled as a real, typed ICommand.Icomment (see issue #115) rather than a generic ICommand, so execution, typed-visitor traversal, and printing all dispatch to it the same way every other command does, with no reflection-based or generic-fallback special case.

Uses of ICommand.Icomment in org.smtlib.impl

Methods in org.smtlib.impl that return ICommand.Icomment

Modifier and Type	Method	Description
ICommand.Icomment	Factory.comment(String text)

Uses of ICommand.Icomment in org.smtlib.sexpr

Methods in org.smtlib.sexpr with parameters of type ICommand.Icomment

Modifier and Type	Method	Description
Void	Printer.visit(ICommand.Icomment e)	A comment is never "(commandName args)" S-expression syntax to begin with, so this doesn't go through printCommand() like every other command here -- instead it's printed directly, now that Comment is a real, typed command rather than going through the generic visit(ICommand) fallback's reflection-based write() lookup (see issue #115; this logic used to live in a write() override on C_comment itself, invoked only via that reflection call -- moved here instead, so printing for every command, including this one, lives in exactly one place: Printer's own typed visit() methods).