class ExpressionParseHelper extends AnyRef
Extension class that provides string interpolation functions for various expression types.
Linear Supertypes
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- ExpressionParseHelper
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
-
new
ExpressionParseHelper(sc: StringContext, file: File, line: Line, sig: BabelSignature)
- sc
A StringContext
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to any2stringadd[ExpressionParseHelper] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (ExpressionParseHelper, B)
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to ArrowAssoc[ExpressionParseHelper] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
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
- @throws( ... )
-
def
ensuring(cond: (ExpressionParseHelper) ⇒ Boolean, msg: ⇒ Any): ExpressionParseHelper
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to Ensuring[ExpressionParseHelper] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (ExpressionParseHelper) ⇒ Boolean): ExpressionParseHelper
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to Ensuring[ExpressionParseHelper] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): ExpressionParseHelper
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to Ensuring[ExpressionParseHelper] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): ExpressionParseHelper
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to Ensuring[ExpressionParseHelper] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fcl(args: Splice[LambdaExpression]*): FOLClause
Parses a string as a at.logic.gapt.proofs.FOLClause.
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
foa(args: Splice[FOLExpression]*): FOLAtom
Parses a string as a FOLAtom.
-
def
foc(args: Splice[FOLTerm]*): FOLConst
Parses a string as a FOLConst.
-
def
foe(args: Splice[FOLExpression]*): FOLExpression
Parses a string as a FOLExpression.
-
def
fof(args: Splice[FOLExpression]*): FOLFormula
Parses a string as a FOLFormula.
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to StringFormat[ExpressionParseHelper] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
def
fos(args: Splice[LambdaExpression]*): FOLSequent
Parses a string as a at.logic.gapt.proofs.FOLSequent.
-
def
fot(args: Splice[FOLTerm]*): FOLTerm
Parses a string as a FOLTerm.
-
def
fov(args: Splice[FOLTerm]*): FOLVar
Parses a string as a FOLVar.
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
hcl(args: Splice[LambdaExpression]*): HOLClause
Parses a string as a at.logic.gapt.proofs.HOLClause.
-
def
hoa(args: Splice[LambdaExpression]*): HOLAtom
Parses a string as a HOLAtom.
-
def
hoc(args: Splice[LambdaExpression]*): Const
Parses a string as a Const.
-
def
hof(args: Splice[LambdaExpression]*): HOLFormula
Parses a string as a HOLFormula.
-
def
hols(args: Splice[LambdaExpression]*): Sequent[(String, HOLFormula)]
Parses a string as a labelled sequent.
-
def
hos(args: Splice[LambdaExpression]*): HOLSequent
Parses a string as a at.logic.gapt.proofs.HOLSequent.
-
def
hov(args: Splice[LambdaExpression]*): Var
Parses a string as a Var.
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
le(args: Splice[LambdaExpression]*): LambdaExpression
Parses a string as a LambdaExpression.
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
→[B](y: B): (ExpressionParseHelper, B)
- Implicit
- This member is added by an implicit conversion from ExpressionParseHelper to ArrowAssoc[ExpressionParseHelper] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc