Miranda protocol - Revision history

Kevin Reid: let's have an explicit verb type

2011-08-07T03:52:25Z

let's have an explicit verb type

New page

Every normal object responds to these '''miranda messages'''; [[miranda methods]] are provided for them.

* [[Miranda conformTo|__conformTo]](<var>guard</var> :[[Guard]]) :[[any]]
* [[Miranda getAllegedType|__getAllegedType]]() :[[TypeDesc]]
* [[Miranda getPropertySlot|__getPropertySlot]](<var>property</var> :[[String]]) :Slot
* [[Miranda optSealedDispatch|__optSealedDispatch]](<var>brand</var> :[[any]]) :[[any]]
* [[Miranda optUncall|__optUncall]]() :[[Portrayal]]
* [[Miranda order|__order]](<var>verb</var> :[[Verb]], <var>args</var> :[[List]]) :[[Tuple]]<nowiki>[</nowiki>any, any<nowiki>]</nowiki>
* [[Miranda printOn|__printOn]](<var>out</var> :[[TextWriter]]) :[[void]]
* [[Miranda reactToLostClient|__reactToLostClient]](<var>problem</var>) :[[void]]
* [[Miranda respondsTo|__respondsTo]](<var>verb</var> :[[Verb]], <var>arity</var> :[[int]]) :[[Boolean]]
* [[Miranda whenBroken|__whenBroken]](<var>reactor</var>) :[[void]]
* [[Miranda whenMoreResolved|__whenMoreResolved]](<var>reactor</var>) :[[void]]

== Constraints on revision of this protocol ==

No version of the Miranda protocol shall introduce a Miranda message which has the same verb but different arity as another Miranda message. '''Rationale:''' This ensures that if a plumbing object forwards messages, adding leading/trailing arguments, it will not invoke a Miranda method of the forwarding target.

== See also ==

* [http://www.erights.org/javadoc/org/erights/e/elib/prim/MirandaMethods.html MirandaMethods class] in [[E-on-Java]]
* [http://www.erights.org/elib/distrib/captp/index.html CapTP protocol documentation], section “Helper Messages”

[[Category:ELib specification]]
[[Category:Protocols]]

Kevin Reid: add no-same-verb constraint

2011-07-26T18:38:52Z

add no-same-verb constraint

←Older revision		Revision as of 18:38, 26 July 2011
Line 12:		Line 12:
	* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]		* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]
	* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]		* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]
		+
		+	== Constraints on revision of this protocol ==
		+
		+	No version of the Miranda protocol shall introduce a Miranda message which has the same verb but different arity as another Miranda message. '''Rationale:''' This ensures that if a plumbing object forwards messages, adding leading/trailing arguments, it will not invoke a Miranda method of the forwarding target.

	== See also ==		== See also ==

Kevin Reid: categories

2008-07-02T02:35:19Z

Kevin Reid: add links to existing miranda message documents

2007-07-27T14:30:43Z

add links to existing miranda message documents

←Older revision		Revision as of 14:30, 27 July 2007
Line 12:		Line 12:
	* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]		* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]
	* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]		* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]
		+
		+	== See also ==
		+
		+	* [http://www.erights.org/javadoc/org/erights/e/elib/prim/MirandaMethods.html MirandaMethods class] in [[E-on-Java]]
		+	* [http://www.erights.org/elib/distrib/captp/index.html CapTP protocol documentation], section “Helper Messages”

Kevin Reid: markup typo

2007-04-21T14:37:08Z

markup typo

←Older revision		Revision as of 14:37, 21 April 2007
Line 6:		Line 6:
	* [[Miranda optSealedDispatch\|__optSealedDispatch]](<var>brand</var> :[[any]]) :[[any]]		* [[Miranda optSealedDispatch\|__optSealedDispatch]](<var>brand</var> :[[any]]) :[[any]]
	* [[Miranda optUncall\|__optUncall]]() :[[Portrayal]]		* [[Miranda optUncall\|__optUncall]]() :[[Portrayal]]
-	* [[Miranda order\|__order]](<var>verb</var> :[[String]], <var>args</var> :[[List]]) :[[Tuple]]<nowiki[</nowiki>any, any<nowiki>]</nowiki>	+	* [[Miranda order\|__order]](<var>verb</var> :[[String]], <var>args</var> :[[List]]) :[[Tuple]]<nowiki>[</nowiki>any, any<nowiki>]</nowiki>
	* [[Miranda printOn\|__printOn]](<var>out</var> :[[TextWriter]]) :[[void]]		* [[Miranda printOn\|__printOn]](<var>out</var> :[[TextWriter]]) :[[void]]
	* [[Miranda reactToLostClient\|__reactToLostClient]](<var>problem</var>) :[[void]]		* [[Miranda reactToLostClient\|__reactToLostClient]](<var>problem</var>) :[[void]]

Kevin Reid: mention miranda methods, rephrase requirement

2007-04-21T14:35:54Z

mention miranda methods, rephrase requirement

←Older revision		Revision as of 14:35, 21 April 2007
Line 1:		Line 1:
-	Every object ~~is expected to respond~~ to these '''miranda messages''':	+	Every normal object responds to these '''miranda messages'''; [[miranda methods]] are provided for them.

	* [[Miranda conformTo\|__conformTo]](<var>guard</var> :[[Guard]]) :[[any]]		* [[Miranda conformTo\|__conformTo]](<var>guard</var> :[[Guard]]) :[[any]]

Kevin Reid: list of miranda methods

2007-04-21T14:34:38Z

list of miranda methods

←Older revision		Revision as of 14:34, 21 April 2007
Line 1:		Line 1:
-	Every ~~normal~~ object ~~responds~~ to these '''miranda messages'''~~; [[miranda methods]] are provided for them.~~	+	Every object is expected to respond to these '''miranda messages''':

	* [[Miranda conformTo\|__conformTo]](<var>guard</var> :[[Guard]]) :[[any]]		* [[Miranda conformTo\|__conformTo]](<var>guard</var> :[[Guard]]) :[[any]]
Line 6:		Line 6:
	* [[Miranda optSealedDispatch\|__optSealedDispatch]](<var>brand</var> :[[any]]) :[[any]]		* [[Miranda optSealedDispatch\|__optSealedDispatch]](<var>brand</var> :[[any]]) :[[any]]
	* [[Miranda optUncall\|__optUncall]]() :[[Portrayal]]		* [[Miranda optUncall\|__optUncall]]() :[[Portrayal]]
-	* [[Miranda order\|__order]](<var>verb</var> :[[~~Verb~~]], <var>args</var> :[[List]]) :[[Tuple]]<nowiki>[</nowiki>any, any<nowiki>]</nowiki>	+	* [[Miranda order\|__order]](<var>verb</var> :[[String]], <var>args</var> :[[List]]) :[[Tuple]]<nowiki[</nowiki>any, any<nowiki>]</nowiki>
	* [[Miranda printOn\|__printOn]](<var>out</var> :[[TextWriter]]) :[[void]]		* [[Miranda printOn\|__printOn]](<var>out</var> :[[TextWriter]]) :[[void]]
	* [[Miranda reactToLostClient\|__reactToLostClient]](<var>problem</var>) :[[void]]		* [[Miranda reactToLostClient\|__reactToLostClient]](<var>problem</var>) :[[void]]
-	* [[Miranda respondsTo\|__respondsTo]](<var>verb</var> :[[~~Verb~~]], <var>arity</var> :[[int]]) :[[Boolean]]	+	* [[Miranda respondsTo\|__respondsTo]](<var>verb</var> :[[String]], <var>arity</var> :[[int]]) :[[Boolean]]
	* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]		* [[Miranda whenBroken\|__whenBroken]](<var>reactor</var>) :[[void]]
	* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]		* [[Miranda whenMoreResolved\|__whenMoreResolved]](<var>reactor</var>) :[[void]]
-
-	~~== Constraints on revision of this protocol ==~~
-
-	No version of the Miranda protocol shall introduce a Miranda message which has the same verb but different arity as another Miranda message. '''Rationale:''' This ensures that if a plumbing object forwards messages, adding leading/trailing arguments, it will not invoke a Miranda method of the forwarding target.
-
-	~~== See also ==~~
-
-	* [http://www.erights.org/javadoc/org/erights/e/elib/prim/MirandaMethods.html MirandaMethods class] in [[E-on-Java]]
-	* [http://www.erights.org/elib/distrib/captp/index.html CapTP protocol documentation], section “Helper Messages”
-
-	~~[[Category:ELib specification]]~~
-	~~[[Category:Protocols]]~~

←Older revision		Revision as of 02:35, 2 July 2008
Line 17:		Line 17:
	* [http://www.erights.org/javadoc/org/erights/e/elib/prim/MirandaMethods.html MirandaMethods class] in [[E-on-Java]]		* [http://www.erights.org/javadoc/org/erights/e/elib/prim/MirandaMethods.html MirandaMethods class] in [[E-on-Java]]
	* [http://www.erights.org/elib/distrib/captp/index.html CapTP protocol documentation], section “Helper Messages”		* [http://www.erights.org/elib/distrib/captp/index.html CapTP protocol documentation], section “Helper Messages”
		+
		+	[[Category:ELib specification]]
		+	[[Category:Protocols]]