object Messaging
Facility for building messages associated with positioned values.
- Source
- Messaging.scala
- Alphabetic
- By Inheritance
- Messaging
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
-
def
aMessage(message: Message): IndexedSeq[Message]
Make a sequence of messages from a single message.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
check[T](t: T)(f: ==>[T, Messages]): Messages
If
fis defined attapply it and return the resulting sequence of messages.If
fis defined attapply it and return the resulting sequence of messages. Otherwise, return an empty sequence. -
def
checkuse(e: Entity)(f: ==>[Entity, Messages]): Messages
Check that the entity
eis used legally and return appropriate messages if not.Check that the entity
eis used legally and return appropriate messages if not. If the entity is an error entity (unknown or multiply defined, keep silent on the grounds that the error has already been reported elsewhere (e.g., at the declaration site of the entity). Otherwise, iffis defined atereturn the messages thatf (e)evaluates to. Iffis not defined ate, keep silent. -
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
collectmessages(messages: ==>[Attributable, Messages]): (Attributable) ⇒ Messages
Recursively collect all messages in the
Attributabletree rooted atpusing the partial functionmessagesat all nodes where it is defined. -
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
message[T](value: T, msg: String, cond: Boolean = true): Messages
If
condis true make a singleton message list that associates the messagemsgwith the start position recorded forvalue(if any).If
condis true make a singleton message list that associates the messagemsgwith the start position recorded forvalue(if any).condcan be omitted and defaults to true. Anyfinishposition that is recorded forvalueis ignored at present. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
val
noMessages: IndexedSeq[Nothing]
A value representing no messages.
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
report(messages: Messages, emitter: Emitter = new ErrorEmitter): Unit
Output the messages in order of position using the given emitter, which defaults to standard error.
-
def
sortmessages(messages: Messages): Messages
Sort the messages by increasing position.
-
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( ... )