LINK syntax - Revision history

Jpye at 01:53, 10 February 2012

2012-02-10T01:53:37Z

← Older revision		Revision as of 01:53, 10 February 2012
Line 59:		Line 59:
	fail-fast. Each name in the namelist is expanded to a list of instances, which		fail-fast. Each name in the namelist is expanded to a list of instances, which
	captures the ascend set semantics usage correctly. */		captures the ascend set semantics usage correctly. */

	~~== See also ==~~

	* [[Improved DAE syntax]]

	instancelist getLinkInstancesFlat(instance, link-object, status)		instancelist getLinkInstancesFlat(instance, link-object, status)

	/**< as the non-flat version, but any error results in a null list return and all		/**< as the non-flat version, but any error results in a null list return and all
	found instances are simply appended to one big gllist. */		found instances are simply appended to one big gllist. */
Line 79:		Line 74:
	</source>		</source>

	[[~~Category:Proposed~~]]		== See also ==

			* [[Improved DAE syntax]]

Jpye at 01:52, 10 February 2012

2012-02-10T01:52:01Z

← Older revision		Revision as of 01:52, 10 February 2012
Line 59:		Line 59:
	fail-fast. Each name in the namelist is expanded to a list of instances, which		fail-fast. Each name in the namelist is expanded to a list of instances, which
	captures the ascend set semantics usage correctly. */		captures the ascend set semantics usage correctly. */

			== See also ==

			* [[Improved DAE syntax]]

	instancelist getLinkInstancesFlat(instance, link-object, status)		instancelist getLinkInstancesFlat(instance, link-object, status)

Jpye at 20:12, 6 February 2012

2012-02-06T20:12:22Z

← Older revision		Revision as of 20:12, 6 February 2012
Line 1:		Line 1:
	{{~~task~~}}		{{experimental}}

	This code was implemented by [[User:DanteStroe]] as part of [[GSOC2009]], and has recently (Feb 2012) been merged into ~~truck~~, although further testing is definitely still required. With these additions, the ASCEND now supports certain semantic object associations now. Additional logic is required to process these associations and make them useful in solvers, and and so on.		This code was implemented by [[User:DanteStroe]] as part of [[GSOC2009]], and has recently (Feb 2012) been merged into trunk ({{changeset\|3923}} through {{changeset\|3931}}), although further testing is definitely still required. With these additions, the ASCEND now supports certain semantic object associations now. Additional logic is required to process these associations and make them useful in solvers, and and so on.

	== The existing associations ==		== The existing associations ==

Jpye at 20:10, 6 February 2012

2012-02-06T20:10:09Z

← Older revision		Revision as of 20:10, 6 February 2012
Line 1:		Line 1:
	{{task}}		{{task}}

	~~Currently under development~~ by [[User:DanteStroe]].		This code was implemented by [[User:DanteStroe]] as part of [[GSOC2009]], and has recently (Feb 2012) been merged into truck, although further testing is definitely still required. With these additions, the ASCEND now supports certain semantic object associations now. Additional logic is required to process these associations and make them useful in solvers, and and so on.

	~~The language~~ supports certain semantic object associations now. Additional~~, user-defined~~ associations ~~with user(or their agent) interpretations are needed for things like DAE, BVP~~, ~~etc solvers~~.


	== The existing associations ==		== The existing associations ==
Line 15:		Line 12:

	Syntax:		Syntax:


	* Declarative section: LINK( 'key', comma-separated-list-of-names);		* Declarative section: LINK( 'key', comma-separated-list-of-names);
	* Methods section: LINK(as-above); UNLINK(as-above);		* Methods section: LINK(as-above); UNLINK(as-above);

	Semantics:		Semantics:


	* Each MODEL instance gets a link table listing the links defined locally (with methods).		* Each MODEL instance gets a link table listing the links defined locally (with methods).
	* The LINKS defined in the declarative section are fixed and are stored in a link table as part of the TypeDescription.		* The LINKS defined in the declarative section are fixed and are stored in a link table as part of the TypeDescription.

Jpye: /* API functionality (initial) design */

2012-02-06T20:07:37Z

API functionality (initial) design

← Older revision		Revision as of 20:07, 6 February 2012
Line 40:		Line 40:
	== API functionality (initial) design ==		== API functionality (initial) design ==

	<source lang="~~a4c~~">		<source lang="C">
	symbollist getLinkTypes (instance, bool recursive)		symbollist getLinkTypes (instance, bool recursive)
	/** find all the keys in link table(s), optionally recursive. */		/** find all the keys in link table(s), optionally recursive. */

Jpye: /* API functionality (initial) design */

2012-02-06T20:07:07Z

API functionality (initial) design

← Older revision		Revision as of 20:07, 6 February 2012
Line 40:		Line 40:
	== API functionality (initial) design ==		== API functionality (initial) design ==

	<source lang="a4c">symbollist getLinkTypes (instance, bool recursive)		<source lang="a4c">
			symbollist getLinkTypes (instance, bool recursive)
			/** find all the keys in link table(s), optionally recursive. */

	/** ~~find~~ all ~~the keys in link table(s)~~, optionally recursive. */		listoflinkobject getLinks(instance, key, bool recursive)
			/*< get all links matching key, optionally recursive. /

	listoflinkobject ~~getLinks~~(~~instance~~, key, bool recursive)		listoflinkobject getLinksReferencing(scopeinstance, key, bool recursive, targetinstance);
			/*< get all links within scopeinstance that name targetinstance. /

	~~/*< get all links matching key, optionally recursive. /~~		const linktable getLinkTableDeclarative(instance)
			const linktable getLinkTableProcedural(instance)

	~~listoflinkobject getLinksReferencing~~(~~scopeinstance~~, key, ~~bool recursive, targetinstance~~);		void addLink(instance, key, namelist)

	/*< get all links within scopeinstance that name targetinstance. /		void removeLink(instance, key, namelist) /* or removeLink(link-object) more likely. */

	~~const linktable getLinkTableDeclarative~~(instance)		void removeNondeclarativeLinks(instance, key, bool recursive)
	~~const linktable getLinkTableProcedural(instance)~~		/**< remove dynamically made links matching key or all if key given is NULL,
			optionally recursive. */

	~~void addLink~~(instance, ~~key~~, namelist)		instancelistlist getLinkInstances(instance, link-object, status)
			/**< return the instances matching list of names in link. Unresolved names result
			in a null list entry and a Find status, but best effort is applied rather than
			fail-fast. Each name in the namelist is expanded to a list of instances, which
			captures the ascend set semantics usage correctly. */

	~~void removeLink~~(instance, ~~key, namelist) /* or removeLink(~~link-object) ~~more likely. */~~		instancelist getLinkInstancesFlat(instance, link-object, status)

	~~void removeNondeclarativeLinks(instance~~, ~~key, bool recursive)~~		/**< as the non-flat version, but any error results in a null list return and all
			found instances are simply appended to one big gllist. */

	/**~~< remove dynamically made links matching key~~ or ~~all if key given is NULL,~~		bool isDeclarative(link-object)
	~~optionally recursive~~. */		/*< - tell if it's dynamic or not. /

	~~instancelistlist getLinkInstances~~(instance~~, link-object, status~~)		void clearLinkCache(instance);
			/*< empty instance search optimization. (be very careful using on subtrees!) /

	/* ~~return the instances matching list of names in link~~. ~~Unresolved names result~~		void populateLinkCache(instance) */
	~~in a null list entry and a Find status, but best effort is applied rather than~~		/*< fill instance search optimization. /
	~~fail-fast. Each name in the namelist is expanded to a list of instances, which~~		</source>
	captures the ascend set semantics usage correctly. */

	~~instancelist getLinkInstancesFlat(instance, link-object, status)~~		[[Category:Proposed]]

	~~/**< as the non-flat version, but any error results in a null list return and all~~
	~~found instances are simply appended to one big gllist. */~~

	~~bool isDeclarative(link-object)~~

	~~/*< - tell if it's dynamic or not. /~~

	~~void clearLinkCache(instance);~~
	~~/*< empty instance search optimization. (be very careful using on subtrees!) /~~

	~~void populateLinkCache(instance) */~~
	~~/*< fill instance search optimization. /</source>~~



	[[Category:Proposed]]

UploadBot: Restored page from Google Cache, uploaded by John Pye

2010-05-13T13:44:41Z

Restored page from Google Cache, uploaded by John Pye

New page

{{task}}

Currently under development by [[User:DanteStroe]].

The language supports certain semantic object associations now. Additional, user-defined associations with user(or their agent) interpretations are needed for things like DAE, BVP, etc solvers.

== The existing associations ==

* ARE_THE_SAME-- merge two existing instances recursively, resulting in one object with two names.
* ARE_ALIKE-- keep the formal types of a list of instances identical, which prevents the user from doing dumb things and enables them to avoid writing most IS_REFINED_TO statements.
* ALIASES-- define a new name by pointing at an existing instance, usually to assemble an array or expose a part buried in a lower-level model.

== The proposed associations extensions ==

Syntax:

* Declarative section: LINK( 'key', comma-separated-list-of-names);
* Methods section: LINK(as-above); UNLINK(as-above);

Semantics:

* Each MODEL instance gets a link table listing the links defined locally (with methods).
* The LINKS defined in the declarative section are fixed and are stored in a link table as part of the TypeDescription.
* The elements defined in the methods may be added and removed by running methods or API (user-interface) calls.
* Redundant entries (identical key and namelist) are ignored with warning.
* Conflicting declarative entries invalidate the typedescription.
* Any instance name (subarrays, atoms, subatomics, relations, models, etc) are allowed in list-of-names.
* Only symbol_constants and symbol literals (single quoted) are allowed as keys.
* A link which is defined in a method and later redefined in a type refinement as a declarative link is allowed. A instantiation warning is generated and the declarative link semantics wins.
* There is no way to make a declarative "down-in" link (link appear in another model scope).
* There is no guarantee that the names in namelist exist, but user many turn on compiler options that generate warnings or compilation errors if the names cannot be resolved to instances.
* There may be a link instance cache table (one for both declarative and method links). Any compiler action will invalidate the contents of this table.
* UNLINK is not declaratively allowed. However, a specially recognized key LINK('ignore', target); will have the same effect for agents using the standard query routines: any link which is the target of an in-scope ignore link will be filtered out before any result is returned.
* Links, thus, have labels like relations. The system will generate them if the user does not.
* link label syntax is like relation label syntax, but links do not appear as model instance children internally except for name exclusion purposes-- they are really typedesc level info.

== API functionality (initial) design ==

<source lang="a4c">symbollist getLinkTypes (instance, bool recursive)

/** find all the keys in link table(s), optionally recursive. */

listoflinkobject getLinks(instance, key, bool recursive)

/**< get all links matching key, optionally recursive. */

listoflinkobject getLinksReferencing(scopeinstance, key, bool recursive, targetinstance);

/**< get all links within scopeinstance that name targetinstance. */

const linktable getLinkTableDeclarative(instance)
const linktable getLinkTableProcedural(instance)

void addLink(instance, key, namelist)

void removeLink(instance, key, namelist) /* or removeLink(link-object) more likely. */

void removeNondeclarativeLinks(instance, key, bool recursive)

/**< remove dynamically made links matching key or all if key given is NULL,
optionally recursive. */

instancelistlist getLinkInstances(instance, link-object, status)

/* return the instances matching list of names in link. Unresolved names result
in a null list entry and a Find status, but best effort is applied rather than
fail-fast. Each name in the namelist is expanded to a list of instances, which
captures the ascend set semantics usage correctly. */

instancelist getLinkInstancesFlat(instance, link-object, status)

/**< as the non-flat version, but any error results in a null list return and all
found instances are simply appended to one big gllist. */

bool isDeclarative(link-object)

/**< - tell if it's dynamic or not. */

void clearLinkCache(instance);
/**< empty instance search optimization. (be very careful using on subtrees!) */

void populateLinkCache(instance) */
/**< fill instance search optimization. */</source>

[[Category:Proposed]]