Context Navigation

source: mainline/contrib/arch/hadlbppp.py@ d7365604

Visit:

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export

Last change on this file since d7365604 was c088fd4, checked in by Martin Decky <martin@…>, 16 years ago
draw bindings as line segments, not splines
Property mode set to `100755`
File size: 45.9 KB

Rev	Line
[e742429]	1	#!/usr/bin/env python
	2	#
	3	# Copyright (c) 2009 Martin Decky
	4	# All rights reserved.
	5	#
	6	# Redistribution and use in source and binary forms, with or without
	7	# modification, are permitted provided that the following conditions
	8	# are met:
	9	#
	10	# - Redistributions of source code must retain the above copyright
	11	# notice, this list of conditions and the following disclaimer.
	12	# - Redistributions in binary form must reproduce the above copyright
	13	# notice, this list of conditions and the following disclaimer in the
	14	# documentation and/or other materials provided with the distribution.
	15	# - The name of the author may not be used to endorse or promote products
	16	# derived from this software without specific prior written permission.
	17	#
	18	# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
	19	# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
	20	# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
	21	# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
	22	# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
	23	# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
	24	# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
	25	# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	26	# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
	27	# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
	28	#
	29	"""
[07fdf203]	30	HelenOS Architecture Description Language and Behavior Protocols preprocessor
[e742429]	31	"""
	32
	33	import sys
	34	import os
	35
[2a70672]	36	INC, POST_INC, BLOCK_COMMENT, LINE_COMMENT, SYSTEM, ARCH, HEAD, BODY, NULL, \
[3037384]	37	INST, VAR, FIN, BIND, TO, SUBSUME, DELEGATE, IFACE, EXTENDS, PRE_BODY, \
[6d4c549]	38	PROTOTYPE, PAR_LEFT, PAR_RIGHT, SIGNATURE, PROTOCOL, INITIALIZATION, \
	39	FINALIZATION, FRAME, PROVIDES, REQUIRES = range(29)
[2a70672]	40
[e742429]	41	def usage(prname):
	42	"Print usage syntax"
[ee5b35a]	43
[8e21512e]	44	print "%s <--bp\|--ebp\|--adl\|--dot\|--nop>+ <OUTPUT>" % prname
	45	print
	46	print "--bp Dump original Behavior Protocols (dChecker, BPSlicer)"
	47	print "--ebp Dump Extended Behavior Protocols (bp2promela)"
	48	print "--adl Dump Architecture Description Language (modified SOFA ADL/CDL)"
	49	print "--dot Dump Dot architecture diagram (GraphViz)"
	50	print "--nop Do not dump anything (just input files syntax check)"
	51	print
[e742429]	52
	53	def tabs(cnt):
	54	"Return given number of tabs"
	55
	56	return ("\t" * cnt)
	57
	58	def cond_append(tokens, token, trim):
	59	"Conditionally append token to tokens with trim"
	60
	61	if (trim):
	62	token = token.strip(" \t")
[1993f9a]	63
	64	if (token != ""):
[e742429]	65	tokens.append(token)
	66
	67	return tokens
	68
[1993f9a]	69	def split_tokens(string, delimiters, trim = False, separate = False):
[e742429]	70	"Split string to tokens by delimiters, keep the delimiters"
	71
	72	tokens = []
	73	last = 0
	74	i = 0
	75
	76	while (i < len(string)):
	77	for delim in delimiters:
	78	if (len(delim) > 0):
	79
[1993f9a]	80	if (string[i:(i + len(delim))] == delim):
	81	if (separate):
	82	tokens = cond_append(tokens, string[last:i], trim)
	83	tokens = cond_append(tokens, delim, trim)
	84	last = i + len(delim)
	85	elif (i > 0):
	86	tokens = cond_append(tokens, string[last:i], trim)
	87	last = i
	88
[e742429]	89	i += len(delim) - 1
	90	break
	91
	92	i += 1
	93
	94	tokens = cond_append(tokens, string[last:len(string)], trim)
	95
	96	return tokens
	97
[2a70672]	98	def identifier(token):
	99	"Check whether the token is an identifier"
	100
	101	if (len(token) == 0):
	102	return False
	103
	104	for i, char in enumerate(token):
	105	if (i == 0):
	106	if ((not char.isalpha()) and (char != "_")):
	107	return False
	108	else:
	109	if ((not char.isalnum()) and (char != "_")):
	110	return False
	111
	112	return True
	113
	114	def descriptor(token):
	115	"Check whether the token is an interface descriptor"
	116
	117	parts = token.split(":")
	118	if (len(parts) != 2):
	119	return False
	120
	121	return (identifier(parts[0]) and identifier(parts[1]))
	122
	123	def word(token):
	124	"Check whether the token is a word"
	125
	126	if (len(token) == 0):
	127	return False
	128
	129	for i, char in enumerate(token):
	130	if ((not char.isalnum()) and (char != "_") and (char != ".")):
	131	return False
	132
	133	return True
	134
[51d4040]	135	def tentative_bp(name, tokens):
[ee5b35a]	136	"Preprocess tentative statements in Behavior Protocol"
[1993f9a]	137
[ee5b35a]	138	result = []
	139	i = 0
	140
	141	while (i < len(tokens)):
	142	if (tokens[i] == "tentative"):
	143	if ((i + 1 < len(tokens)) and (tokens[i + 1] == "{")):
	144	i += 2
	145	start = i
	146	level = 1
	147
	148	while ((i < len(tokens)) and (level > 0)):
	149	if (tokens[i] == "{"):
	150	level += 1
	151	elif (tokens[i] == "}"):
	152	level -= 1
	153
	154	i += 1
	155
	156	if (level == 0):
	157	result.append("(")
[51d4040]	158	result.extend(tentative_bp(name, tokens[start:(i - 1)]))
[ee5b35a]	159	result.append(")")
	160	result.append("+")
	161	result.append("NULL")
	162	if (i < len(tokens)):
	163	result.append(tokens[i])
	164	else:
	165	print "%s: Syntax error in tentative statement" % name
	166	else:
[51d4040]	167	print "%s: Expected '{' for tentative statement" % name
	168	else:
	169	result.append(tokens[i])
	170
	171	i += 1
	172
	173	return result
	174
	175	def alternative_bp(name, tokens):
	176	"Preprocess alternative statements in Behavior Protocol"
	177
	178	result = []
	179	i = 0
	180
	181	while (i < len(tokens)):
	182	if (tokens[i] == "alternative"):
	183	if ((i + 1 < len(tokens)) and (tokens[i + 1] == "(")):
	184	i += 2
	185	reps = []
	186
	187	while ((i < len(tokens)) and (tokens[i] != ")")):
	188	reps.append(tokens[i])
	189	if ((i + 1 < len(tokens)) and (tokens[i + 1] == ";")):
	190	i += 2
	191	else:
	192	i += 1
	193
	194	if (len(reps) >= 2):
	195	if ((i + 1 < len(tokens)) and (tokens[i + 1] == "{")):
	196	i += 2
	197
	198	start = i
	199	level = 1
	200
	201	while ((i < len(tokens)) and (level > 0)):
	202	if (tokens[i] == "{"):
	203	level += 1
	204	elif (tokens[i] == "}"):
	205	level -= 1
	206
	207	i += 1
	208
	209	if (level == 0):
	210	first = True
	211
	212	for rep in reps[1:]:
	213	retokens = []
	214	for token in tokens[start:(i - 1)]:
	215	parts = token.split(".")
	216	if ((len(parts) == 2) and (parts[0] == reps[0])):
	217	retokens.append("%s.%s" % (rep, parts[1]))
	218	else:
	219	retokens.append(token)
	220
	221	if (first):
	222	first = False
	223	else:
	224	result.append("+")
	225
	226	result.append("(")
	227	result.extend(alternative_bp(name, retokens))
	228	result.append(")")
	229
	230	if (i < len(tokens)):
	231	result.append(tokens[i])
	232	else:
	233	print "%s: Syntax error in alternative statement" % name
	234	else:
	235	print "%s: Expected '{' for alternative statement body" % name
	236	else:
	237	print "%s: At least one pattern and one replacement required for alternative statement" % name
	238	else:
	239	print "%s: Expected '(' for alternative statement head" % name
[1993f9a]	240	else:
[ee5b35a]	241	result.append(tokens[i])
[1993f9a]	242
[ee5b35a]	243	i += 1
[e742429]	244
[ee5b35a]	245	return result
	246
[fed03a3]	247	def split_bp(protocol):
	248	"Convert Behavior Protocol to tokens"
	249
	250	return split_tokens(protocol, ["\n", " ", "\t", "(", ")", "{", "}", "*", ";", "+", "\|\|", "\|", "!", "?"], True, True)
	251
	252	def extend_bp(name, tokens, iface):
[51d4040]	253	"Convert interface Behavior Protocol to generic protocol"
[fed03a3]	254
[6d4c549]	255	result = []
[fed03a3]	256	i = 0
	257
	258	while (i < len(tokens)):
	259	result.append(tokens[i])
	260
	261	if (tokens[i] == "?"):
	262	if (i + 1 < len(tokens)):
	263	i += 1
	264	parts = tokens[i].split(".")
	265
	266	if (len(parts) == 1):
	267	result.append("%s.%s" % (iface, tokens[i]))
	268	else:
	269	result.append(tokens[i])
	270	else:
	271	print "%s: Unexpected end of protocol" % name
	272
	273	i += 1
	274
	275	return result
	276
[6d4c549]	277	def merge_bp(initialization, finalization, protocols):
[fed03a3]	278	"Merge several Behavior Protocols"
	279
[6d4c549]	280	indep = []
	281
[fed03a3]	282	if (len(protocols) > 1):
	283	first = True
	284
	285	for protocol in protocols:
	286	if (first):
	287	first = False
	288	else:
[6d4c549]	289	indep.append("\|")
[fed03a3]	290
[6d4c549]	291	indep.append("(")
	292	indep.extend(protocol)
	293	indep.append(")")
	294	elif (len(protocols) == 1):
	295	indep = protocols[0]
	296
	297	inited = []
	298
	299	if (initialization != None):
	300	if (len(indep) > 0):
	301	inited.append("(")
	302	inited.extend(initialization)
	303	inited.append(")")
	304	inited.append(";")
	305	inited.append("(")
	306	inited.extend(indep)
	307	inited.append(")")
	308	else:
	309	inited = initialization
	310	else:
	311	inited = indep
	312
	313	finited = []
	314
	315	if (finalization != None):
	316	if (len(inited) > 0):
	317	finited.append("(")
	318	finited.extend(inited)
	319	finited.append(")")
	320	finited.append(";")
	321	finited.append("(")
	322	finited.extend(finalization)
	323	finited.append(")")
	324	else:
	325	finited = finalization
	326	else:
	327	finited = inited
[fed03a3]	328
[6d4c549]	329	return finited
[fed03a3]	330
	331	def parse_bp(name, tokens, base_indent):
[ee5b35a]	332	"Parse Behavior Protocol"
	333
[51d4040]	334	tokens = tentative_bp(name, tokens)
	335	tokens = alternative_bp(name, tokens)
[e742429]	336
[ee5b35a]	337	indent = base_indent
[2a70672]	338	output = ""
[e742429]	339
	340	for token in tokens:
	341	if (token == "\n"):
	342	continue
	343
	344	if ((token == ";") or (token == "+") or (token == "\|\|") or (token == "\|")):
[2a70672]	345	output += " %s" % token
[e742429]	346	elif (token == "("):
[2a70672]	347	output += "\n%s%s" % (tabs(indent), token)
[e742429]	348	indent += 1
	349	elif (token == ")"):
[ee5b35a]	350	if (indent < base_indent):
	351	print "%s: Too many parentheses" % name
[1993f9a]	352
[e742429]	353	indent -= 1
[2a70672]	354	output += "\n%s%s" % (tabs(indent), token)
[e742429]	355	elif (token == "{"):
[2a70672]	356	output += " %s" % token
[e742429]	357	indent += 1
	358	elif (token == "}"):
[ee5b35a]	359	if (indent < base_indent):
	360	print "%s: Too many parentheses" % name
[1993f9a]	361
[e742429]	362	indent -= 1
[2a70672]	363	output += "\n%s%s" % (tabs(indent), token)
[e742429]	364	elif (token == "*"):
[2a70672]	365	output += "%s" % token
[1993f9a]	366	elif ((token == "!") or (token == "?") or (token == "NULL")):
[2a70672]	367	output += "\n%s%s" % (tabs(indent), token)
[e742429]	368	else:
[2a70672]	369	output += "%s" % token
[1993f9a]	370
[ee5b35a]	371	if (indent > base_indent):
	372	print "%s: Missing parentheses" % name
	373
	374	output = output.strip()
	375	if (output == ""):
	376	return "NULL"
[e742429]	377
[2a70672]	378	return output
[1993f9a]	379
[100aaf5]	380	def parse_ebp(component, name, tokens, base_indent):
	381	"Parse Behavior Protocol and generate Extended Behavior Protocol output"
	382
	383	return "component %s {\n\tbehavior {\n\t\t%s\n\t}\n}" % (component, parse_bp(name, tokens, base_indent + 2))
	384
[fed03a3]	385	def get_iface(name):
	386	"Get interface by name"
	387
	388	global iface_properties
	389
	390	if (name in iface_properties):
	391	return iface_properties[name]
	392
	393	return None
	394
[3037384]	395	def inherited_protocols(iface):
	396	"Get protocols inherited by an interface"
	397
	398	result = []
	399
	400	if ('extends' in iface):
	401	supiface = get_iface(iface['extends'])
	402	if (not supiface is None):
	403	if ('protocol' in supiface):
	404	result.append(supiface['protocol'])
	405	result.extend(inherited_protocols(supiface))
	406	else:
	407	print "%s: Extends unknown interface '%s'" % (iface['name'], iface['extends'])
	408
	409	return result
	410
[57688fe2]	411	def dump_frame(frame, outdir, var, archf):
[fed03a3]	412	"Dump Behavior Protocol of a given frame"
[ee5b35a]	413
[6d4c549]	414	global opt_bp
[100aaf5]	415	global opt_ebp
[6d4c549]	416
[100aaf5]	417	if (opt_ebp):
	418	fname = "%s.ebp" % frame['name']
	419	else:
	420	fname = "%s.bp" % frame['name']
[57688fe2]	421
[6d4c549]	422	if (archf != None):
	423	archf.write("instantiate %s from \"%s\"\n" % (var, fname))
	424
[57688fe2]	425	outname = os.path.join(outdir, fname)
[ee5b35a]	426
[fed03a3]	427	protocols = []
	428	if ('protocol' in frame):
	429	protocols.append(frame['protocol'])
	430
[6d4c549]	431	if ('initialization' in frame):
	432	initialization = frame['initialization']
	433	else:
	434	initialization = None
	435
	436	if ('finalization' in frame):
	437	finalization = frame['finalization']
	438	else:
	439	finalization = None
	440
[fed03a3]	441	if ('provides' in frame):
	442	for provides in frame['provides']:
	443	iface = get_iface(provides['iface'])
	444	if (not iface is None):
	445	if ('protocol' in iface):
	446	protocols.append(extend_bp(outname, iface['protocol'], iface['name']))
[3037384]	447	for protocol in inherited_protocols(iface):
	448	protocols.append(extend_bp(outname, protocol, iface['name']))
[fed03a3]	449	else:
	450	print "%s: Provided interface '%s' is undefined" % (frame['name'], provides['iface'])
	451
[6d4c549]	452	if (opt_bp):
	453	outf = file(outname, "w")
	454	outf.write(parse_bp(outname, merge_bp(initialization, finalization, protocols), 0))
	455	outf.close()
[100aaf5]	456
	457	if (opt_ebp):
	458	outf = file(outname, "w")
	459	outf.write(parse_ebp(frame['name'], outname, merge_bp(initialization, finalization, protocols), 0))
	460	outf.close()
[ee5b35a]	461
[fed03a3]	462	def get_system_arch():
	463	"Get system architecture"
	464
	465	global arch_properties
	466
	467	for arch, properties in arch_properties.items():
	468	if ('system' in properties):
	469	return properties
	470
	471	return None
	472
	473	def get_arch(name):
	474	"Get architecture by name"
	475
	476	global arch_properties
[ee5b35a]	477
[fed03a3]	478	if (name in arch_properties):
	479	return arch_properties[name]
	480
	481	return None
	482
	483	def get_frame(name):
	484	"Get frame by name"
	485
	486	global frame_properties
	487
	488	if (name in frame_properties):
	489	return frame_properties[name]
	490
	491	return None
	492
[57688fe2]	493	def create_null_bp(fname, outdir, archf):
[fed03a3]	494	"Create null frame protocol"
	495
[6d4c549]	496	global opt_bp
[100aaf5]	497	global opt_ebp
[6d4c549]	498
	499	if (archf != None):
	500	archf.write("frame \"%s\"\n" % fname)
	501
[57688fe2]	502	outname = os.path.join(outdir, fname)
	503
[6d4c549]	504	if (opt_bp):
	505	outf = file(outname, "w")
	506	outf.write("NULL")
	507	outf.close()
[100aaf5]	508
	509	if (opt_ebp):
	510	outf = file(outname, "w")
	511	outf.write("component null {\n\tbehavior {\n\t\tNULL\n\t}\n}")
	512	outf.close()
[fed03a3]	513
[f1fb1d1]	514	def flatten_binds(binds, delegates, subsumes):
	515	"Remove bindings which are replaced by delegation or subsumption"
	516
	517	result = []
	518	stable = True
	519
	520	for bind in binds:
	521	keep = True
	522
	523	for delegate in delegates:
	524	if (bind['to'] == delegate['to']):
	525	keep = False
	526	result.append({'from': bind['from'], 'to': delegate['rep']})
	527
	528	for subsume in subsumes:
	529	if (bind['from'] == subsume['from']):
	530	keep = False
	531	result.append({'from': subsume['rep'], 'to': bind['to']})
	532
	533	if (keep):
	534	result.append(bind)
	535	else:
	536	stable = False
	537
	538	if (stable):
	539	return result
	540	else:
	541	return flatten_binds(result, delegates, subsumes)
	542
[41eca31]	543	def direct_binds(binds):
	544	"Convert bindings matrix to set of sources by destination"
	545
	546	result = {}
	547
	548	for bind in binds:
	549	if (not bind['to'] in result):
	550	result[bind['to']] = set()
	551
	552	result[bind['to']].add(bind['from'])
	553
	554	return result
	555
[c123609]	556	def merge_arch(prefix, arch, outdir):
[2088dfc]	557	"Merge subarchitecture into architecture"
[fed03a3]	558
[57688fe2]	559	insts = []
	560	binds = []
	561	delegates = []
	562	subsumes = []
[ee5b35a]	563
[57688fe2]	564	if ('inst' in arch):
	565	for inst in arch['inst']:
	566	subarch = get_arch(inst['type'])
	567	if (not subarch is None):
[c123609]	568	(subinsts, subbinds, subdelegates, subsubsumes) = merge_arch("%s_%s" % (prefix, subarch['name']), subarch, outdir)
[57688fe2]	569	insts.extend(subinsts)
	570	binds.extend(subbinds)
	571	delegates.extend(subdelegates)
	572	subsumes.extend(subsubsumes)
	573	else:
	574	subframe = get_frame(inst['type'])
	575	if (not subframe is None):
	576	insts.append({'var': "%s_%s" % (prefix, inst['var']), 'frame': subframe})
	577	else:
	578	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
[fed03a3]	579
[57688fe2]	580	if ('bind' in arch):
	581	for bind in arch['bind']:
	582	binds.append({'from': "%s_%s.%s" % (prefix, bind['from'][0], bind['from'][1]), 'to': "%s_%s.%s" % (prefix, bind['to'][0], bind['to'][1])})
	583
	584	if ('delegate' in arch):
	585	for delegate in arch['delegate']:
	586	delegates.append({'to': "%s.%s" % (prefix, delegate['from']), 'rep': "%s_%s.%s" % (prefix, delegate['to'][0], delegate['to'][1])})
	587
	588	if ('subsume' in arch):
	589	for subsume in arch['subsume']:
	590	subsumes.append({'from': "%s.%s" % (prefix, subsume['to']), 'rep': "%s_%s.%s" % (prefix, subsume['from'][0], subsume['from'][1])})
	591
	592	return (insts, binds, delegates, subsumes)
	593
	594	def dump_archbp(outdir):
	595	"Dump system architecture Behavior Protocol"
	596
[6d4c549]	597	global opt_bp
[100aaf5]	598	global opt_ebp
[6d4c549]	599
[57688fe2]	600	arch = get_system_arch()
	601
	602	if (arch is None):
	603	print "Unable to find system architecture"
	604	return
	605
	606	insts = []
	607	binds = []
	608	delegates = []
	609	subsumes = []
[fed03a3]	610
	611	if ('inst' in arch):
	612	for inst in arch['inst']:
	613	subarch = get_arch(inst['type'])
	614	if (not subarch is None):
[c123609]	615	(subinsts, subbinds, subdelegates, subsubsumes) = merge_arch(subarch['name'], subarch, outdir)
[57688fe2]	616	insts.extend(subinsts)
	617	binds.extend(subbinds)
	618	delegates.extend(subdelegates)
	619	subsumes.extend(subsubsumes)
[fed03a3]	620	else:
	621	subframe = get_frame(inst['type'])
	622	if (not subframe is None):
[57688fe2]	623	insts.append({'var': inst['var'], 'frame': subframe})
[fed03a3]	624	else:
[57688fe2]	625	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
[8c73012]	626
	627	if ('bind' in arch):
	628	for bind in arch['bind']:
[57688fe2]	629	binds.append({'from': "%s.%s" % (bind['from'][0], bind['from'][1]), 'to': "%s.%s" % (bind['to'][0], bind['to'][1])})
	630
	631	if ('delegate' in arch):
	632	for delegate in arch['delegate']:
	633	print "Unable to delegate interface in system architecture"
	634	break
	635
	636	if ('subsume' in arch):
	637	for subsume in arch['subsume']:
	638	print "Unable to subsume interface in system architecture"
	639	break
	640
	641	outname = os.path.join(outdir, "%s.archbp" % arch['name'])
[100aaf5]	642	if ((opt_bp) or (opt_ebp)):
[6d4c549]	643	outf = file(outname, "w")
	644	else:
	645	outf = None
[57688fe2]	646
	647	create_null_bp("null.bp", outdir, outf)
	648
	649	for inst in insts:
	650	dump_frame(inst['frame'], outdir, inst['var'], outf)
	651
[41eca31]	652	directed_binds = direct_binds(flatten_binds(binds, delegates, subsumes))
	653
	654	for dst, src in directed_binds.items():
[6d4c549]	655	if (outf != None):
	656	outf.write("bind %s to %s\n" % (", ".join(src), dst))
[fed03a3]	657
[6d4c549]	658	if (outf != None):
	659	outf.close()
[ee5b35a]	660
	661	def preproc_adl(raw, inarg):
	662	"Preprocess %% statements in ADL"
	663
	664	return raw.replace("%%", inarg)
	665
[2a70672]	666	def parse_adl(base, root, inname, nested, indent):
[1993f9a]	667	"Parse Architecture Description Language"
	668
[ee5b35a]	669	global output
	670	global context
	671	global architecture
	672	global interface
	673	global frame
	674	global protocol
[6d4c549]	675	global initialization
	676	global finalization
[fed03a3]	677
	678	global iface_properties
	679	global frame_properties
	680	global arch_properties
	681
	682	global arg0
[ee5b35a]	683
[1993f9a]	684	if (nested):
[2a70672]	685	parts = inname.split("%")
[1993f9a]	686
[2a70672]	687	if (len(parts) > 1):
	688	inarg = parts[1]
	689	else:
	690	inarg = "%%"
	691
	692	if (parts[0][0:1] == "/"):
	693	path = os.path.join(base, ".%s" % parts[0])
[1993f9a]	694	nested_root = os.path.dirname(path)
	695	else:
[2a70672]	696	path = os.path.join(root, parts[0])
[1993f9a]	697	nested_root = root
	698
	699	if (not os.path.isfile(path)):
[2a70672]	700	print "%s: Unable to include file %s" % (inname, path)
	701	return ""
[1993f9a]	702	else:
	703	inarg = "%%"
[2a70672]	704	path = inname
[1993f9a]	705	nested_root = root
	706
[2a70672]	707	inf = file(path, "r")
[1993f9a]	708
[2a70672]	709	raw = preproc_adl(inf.read(), inarg)
	710	tokens = split_tokens(raw, ["\n", " ", "\t", "(", ")", "{", "}", "[", "]", "/", "/", "#", ";"], True, True)
[1993f9a]	711
	712	for token in tokens:
	713
[2a70672]	714	# Includes
	715
	716	if (INC in context):
	717	context.remove(INC)
[ee5b35a]	718	parse_adl(base, nested_root, token, True, indent)
[2a70672]	719	context.add(POST_INC)
[1993f9a]	720	continue
	721
[2a70672]	722	if (POST_INC in context):
	723	if (token != "]"):
	724	print "%s: Expected ]" % inname
	725
	726	context.remove(POST_INC)
	727	continue
	728
	729	# Comments and newlines
	730
	731	if (BLOCK_COMMENT in context):
	732	if (token == "*/"):
	733	context.remove(BLOCK_COMMENT)
	734
	735	continue
	736
	737	if (LINE_COMMENT in context):
	738	if (token == "\n"):
	739	context.remove(LINE_COMMENT)
	740
	741	continue
	742
	743	# Any context
	744
	745	if (token == "/*"):
	746	context.add(BLOCK_COMMENT)
	747	continue
	748
	749	if (token == "#"):
	750	context.add(LINE_COMMENT)
	751	continue
	752
	753	if (token == "["):
	754	context.add(INC)
	755	continue
	756
[ee5b35a]	757	if (token == "\n"):
	758	continue
[2a70672]	759
[ee5b35a]	760	# "frame"
	761
	762	if (FRAME in context):
	763	if (NULL in context):
	764	if (token != ";"):
	765	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	766	else:
	767	output += "%s\n" % token
	768
	769	context.remove(NULL)
	770	context.remove(FRAME)
	771	frame = None
[2a70672]	772	continue
[ee5b35a]	773
	774	if (BODY in context):
[6d4c549]	775	if (FINALIZATION in context):
	776	if (token == "{"):
	777	indent += 1
	778	elif (token == "}"):
	779	indent -= 1
	780
	781	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
	782	bp = split_bp(finalization)
	783	finalization = None
	784
	785	if (not frame in frame_properties):
	786	frame_properties[frame] = {}
	787
	788	if ('finalization' in frame_properties[frame]):
	789	print "%s: Finalization protocol for frame '%s' already defined" % (inname, frame)
	790	else:
	791	frame_properties[frame]['finalization'] = bp
	792
	793	output += "\n%s" % tabs(2)
	794	output += parse_bp(inname, bp, 2)
	795
	796	context.remove(FINALIZATION)
	797	if (indent == -1):
	798	output += "\n%s" % token
	799	context.remove(BODY)
	800	context.add(NULL)
	801	indent = 0
	802	continue
	803	else:
	804	indent = 2
	805	else:
	806	finalization += token
	807	continue
	808
	809	if (INITIALIZATION in context):
	810	if (token == "{"):
	811	indent += 1
	812	elif (token == "}"):
	813	indent -= 1
	814
	815	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
	816	bp = split_bp(initialization)
	817	initialization = None
	818
	819	if (not frame in frame_properties):
	820	frame_properties[frame] = {}
	821
	822	if ('initialization' in frame_properties[frame]):
	823	print "%s: Initialization protocol for frame '%s' already defined" % (inname, frame)
	824	else:
	825	frame_properties[frame]['initialization'] = bp
	826
	827	output += "\n%s" % tabs(2)
	828	output += parse_bp(inname, bp, 2)
	829
	830	context.remove(INITIALIZATION)
	831	if (indent == -1):
	832	output += "\n%s" % token
	833	context.remove(BODY)
	834	context.add(NULL)
	835	indent = 0
	836	continue
	837	else:
	838	indent = 2
	839	else:
	840	initialization += token
	841	continue
	842
[ee5b35a]	843	if (PROTOCOL in context):
	844	if (token == "{"):
	845	indent += 1
	846	elif (token == "}"):
	847	indent -= 1
	848
[6d4c549]	849	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
[fed03a3]	850	bp = split_bp(protocol)
	851	protocol = None
	852
	853	if (not frame in frame_properties):
	854	frame_properties[frame] = {}
	855
	856	if ('protocol' in frame_properties[frame]):
[ee5b35a]	857	print "%s: Protocol for frame '%s' already defined" % (inname, frame)
	858	else:
[fed03a3]	859	frame_properties[frame]['protocol'] = bp
[ee5b35a]	860
[fed03a3]	861	output += "\n%s" % tabs(2)
	862	output += parse_bp(inname, bp, 2)
[ee5b35a]	863
	864	context.remove(PROTOCOL)
[6d4c549]	865	if (indent == -1):
	866	output += "\n%s" % token
	867	context.remove(BODY)
	868	context.add(NULL)
	869	indent = 0
	870	continue
	871	else:
	872	indent = 2
[ee5b35a]	873	else:
	874	protocol += token
[6d4c549]	875	continue
[ee5b35a]	876
	877	if (REQUIRES in context):
	878	if (FIN in context):
	879	if (token != ";"):
	880	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	881	else:
	882	output += "%s" % token
	883
	884	context.remove(FIN)
	885	continue
	886
	887	if (VAR in context):
	888	if (not identifier(token)):
[fed03a3]	889	print "%s: Variable name expected in frame '%s'" % (inname, frame)
[ee5b35a]	890	else:
[fed03a3]	891	if (not frame in frame_properties):
	892	frame_properties[frame] = {}
	893
	894	if (not 'requires' in frame_properties[frame]):
	895	frame_properties[frame]['requires'] = []
	896
	897	frame_properties[frame]['requires'].append({'iface': arg0, 'var': token})
	898	arg0 = None
	899
[ee5b35a]	900	output += "%s" % token
	901
	902	context.remove(VAR)
	903	context.add(FIN)
	904	continue
	905
	906	if ((token == "}") or (token[-1] == ":")):
	907	context.remove(REQUIRES)
	908	else:
	909	if (not identifier(token)):
	910	print "%s: Interface name expected in frame '%s'" % (inname, frame)
	911	else:
[fed03a3]	912	arg0 = token
[ee5b35a]	913	output += "\n%s%s " % (tabs(indent), token)
	914
	915	context.add(VAR)
	916	continue
	917
	918	if (PROVIDES in context):
	919	if (FIN in context):
	920	if (token != ";"):
	921	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	922	else:
	923	output += "%s" % token
	924
	925	context.remove(FIN)
	926	continue
	927
	928	if (VAR in context):
	929	if (not identifier(token)):
[fed03a3]	930	print "%s: Variable name expected in frame '%s'" % (inname, frame)
[ee5b35a]	931	else:
[fed03a3]	932	if (not frame in frame_properties):
	933	frame_properties[frame] = {}
	934
	935	if (not 'provides' in frame_properties[frame]):
	936	frame_properties[frame]['provides'] = []
	937
	938	frame_properties[frame]['provides'].append({'iface': arg0, 'var': token})
	939	arg0 = None
	940
[ee5b35a]	941	output += "%s" % token
	942
	943	context.remove(VAR)
	944	context.add(FIN)
	945	continue
	946
	947	if ((token == "}") or (token[-1] == ":")):
	948	context.remove(PROVIDES)
	949	else:
	950	if (not identifier(token)):
	951	print "%s: Interface name expected in frame '%s'" % (inname, frame)
	952	else:
[fed03a3]	953	arg0 = token
[ee5b35a]	954	output += "\n%s%s " % (tabs(indent), token)
	955
	956	context.add(VAR)
	957	continue
	958
	959	if (token == "}"):
	960	if (indent != 2):
	961	print "%s: Wrong number of parentheses in frame '%s'" % (inname, frame)
	962	else:
	963	indent = 0
	964	output += "\n%s" % token
	965
	966	context.remove(BODY)
	967	context.add(NULL)
	968	continue
	969
	970	if (token == "provides:"):
	971	output += "\n%s%s" % (tabs(indent - 1), token)
	972	context.add(PROVIDES)
	973	continue
	974
	975	if (token == "requires:"):
	976	output += "\n%s%s" % (tabs(indent - 1), token)
	977	context.add(REQUIRES)
[6d4c549]	978	continue
	979
	980	if (token == "initialization:"):
	981	output += "\n%s%s" % (tabs(indent - 1), token)
	982	indent = 0
	983	context.add(INITIALIZATION)
	984	initialization = ""
	985	continue
	986
	987	if (token == "finalization:"):
	988	output += "\n%s%s" % (tabs(indent - 1), token)
	989	indent = 0
	990	context.add(FINALIZATION)
	991	finalization = ""
[ee5b35a]	992	continue
	993
	994	if (token == "protocol:"):
	995	output += "\n%s%s" % (tabs(indent - 1), token)
	996	indent = 0
	997	context.add(PROTOCOL)
	998	protocol = ""
	999	continue
	1000
	1001	print "%s: Unknown token '%s' in frame '%s'" % (inname, token, frame)
[2a70672]	1002	continue
[ee5b35a]	1003
	1004	if (HEAD in context):
	1005	if (token == "{"):
	1006	output += "%s" % token
	1007	indent += 2
	1008	context.remove(HEAD)
	1009	context.add(BODY)
	1010	continue
	1011
	1012	if (token == ";"):
	1013	output += "%s\n" % token
	1014	context.remove(HEAD)
	1015	context.remove(FRAME)
	1016	continue
	1017
	1018	print "%s: Unknown token '%s' in frame head '%s'" % (inname, token, frame)
	1019
	1020	continue
	1021
	1022	if (not identifier(token)):
	1023	print "%s: Expected frame name" % inname
	1024	else:
	1025	frame = token
	1026	output += "%s " % token
[fed03a3]	1027
	1028	if (not frame in frame_properties):
	1029	frame_properties[frame] = {}
	1030
	1031	frame_properties[frame]['name'] = frame
[ee5b35a]	1032
	1033	context.add(HEAD)
	1034	continue
[2a70672]	1035
	1036	# "interface"
	1037
	1038	if (IFACE in context):
	1039	if (NULL in context):
	1040	if (token != ";"):
[ee5b35a]	1041	print "%s: Expected ';' in interface '%s'" % (inname, interface)
[2a70672]	1042	else:
	1043	output += "%s\n" % token
	1044
	1045	context.remove(NULL)
	1046	context.remove(IFACE)
	1047	interface = None
	1048	continue
	1049
	1050	if (BODY in context):
	1051	if (PROTOCOL in context):
	1052	if (token == "{"):
	1053	indent += 1
	1054	elif (token == "}"):
	1055	indent -= 1
	1056
[ee5b35a]	1057	if (indent == -1):
[fed03a3]	1058	bp = split_bp(protocol)
	1059	protocol = None
	1060
	1061	if (not interface in iface_properties):
	1062	iface_properties[interface] = {}
	1063
	1064	if ('protocol' in iface_properties[interface]):
[ee5b35a]	1065	print "%s: Protocol for interface '%s' already defined" % (inname, interface)
	1066	else:
[fed03a3]	1067	iface_properties[interface]['protocol'] = bp
[ee5b35a]	1068
	1069	output += "\n%s" % tabs(2)
[fed03a3]	1070	output += parse_bp(inname, bp, 2)
[2a70672]	1071	output += "\n%s" % token
[ee5b35a]	1072	indent = 0
[2a70672]	1073
	1074	context.remove(PROTOCOL)
	1075	context.remove(BODY)
	1076	context.add(NULL)
	1077	else:
	1078	protocol += token
	1079
	1080	continue
	1081
	1082	if (PROTOTYPE in context):
	1083	if (FIN in context):
	1084	if (token != ";"):
[ee5b35a]	1085	print "%s: Expected ';' in interface '%s'" % (inname, interface)
[2a70672]	1086	else:
	1087	output += "%s" % token
	1088
	1089	context.remove(FIN)
	1090	context.remove(PROTOTYPE)
	1091	continue
	1092
	1093	if (PAR_RIGHT in context):
	1094	if (token == ")"):
	1095	output += "%s" % token
	1096	context.remove(PAR_RIGHT)
	1097	context.add(FIN)
	1098	else:
	1099	output += " %s" % token
	1100
	1101	continue
	1102
	1103	if (SIGNATURE in context):
	1104	output += "%s" % token
	1105	if (token == ")"):
	1106	context.remove(SIGNATURE)
	1107	context.add(FIN)
	1108
	1109	context.remove(SIGNATURE)
	1110	context.add(PAR_RIGHT)
	1111	continue
	1112
	1113	if (PAR_LEFT in context):
	1114	if (token != "("):
[ee5b35a]	1115	print "%s: Expected '(' in interface '%s'" % (inname, interface)
[2a70672]	1116	else:
	1117	output += "%s" % token
	1118
	1119	context.remove(PAR_LEFT)
	1120	context.add(SIGNATURE)
	1121	continue
	1122
	1123	if (not identifier(token)):
[ee5b35a]	1124	print "%s: Method identifier expected in interface '%s'" % (inname, interface)
[2a70672]	1125	else:
	1126	output += "%s" % token
	1127
	1128	context.add(PAR_LEFT)
	1129	continue
	1130
	1131	if (token == "}"):
[ee5b35a]	1132	if (indent != 2):
	1133	print "%s: Wrong number of parentheses in interface '%s'" % (inname, interface)
[2a70672]	1134	else:
	1135	indent = 0
	1136	output += "\n%s" % token
	1137
	1138	context.remove(BODY)
	1139	context.add(NULL)
	1140	continue
	1141
[ee5b35a]	1142	if ((token == "ipcarg_t") or (token == "unative_t")):
[2a70672]	1143	output += "\n%s%s " % (tabs(indent), token)
	1144	context.add(PROTOTYPE)
	1145	continue
	1146
	1147	if (token == "protocol:"):
	1148	output += "\n%s%s" % (tabs(indent - 1), token)
[ee5b35a]	1149	indent = 0
[2a70672]	1150	context.add(PROTOCOL)
	1151	protocol = ""
	1152	continue
	1153
[ee5b35a]	1154	print "%s: Unknown token '%s' in interface '%s'" % (inname, token, interface)
[2a70672]	1155	continue
	1156
	1157	if (HEAD in context):
[3037384]	1158	if (PRE_BODY in context):
	1159	if (token == "{"):
	1160	output += "%s" % token
	1161	indent += 2
	1162	context.remove(PRE_BODY)
	1163	context.remove(HEAD)
	1164	context.add(BODY)
	1165	continue
	1166
	1167	if (token == ";"):
	1168	output += "%s\n" % token
	1169	context.remove(PRE_BODY)
	1170	context.remove(HEAD)
	1171	context.remove(IFACE)
	1172	continue
	1173
	1174	print "%s: Expected '{' or ';' in interface head '%s'" % (inname, interface)
	1175	continue
	1176
	1177	if (EXTENDS in context):
	1178	if (not identifier(token)):
	1179	print "%s: Expected inherited interface name in interface head '%s'" % (inname, interface)
	1180	else:
[6d4c549]	1181	output += "%s " % token
[3037384]	1182	if (not interface in iface_properties):
	1183	iface_properties[interface] = {}
	1184
	1185	iface_properties[interface]['extends'] = token
	1186
	1187	context.remove(EXTENDS)
	1188	context.add(PRE_BODY)
	1189	continue
	1190
	1191	if (token == "extends"):
[6d4c549]	1192	output += "%s " % token
[3037384]	1193	context.add(EXTENDS)
	1194	continue
	1195
[2a70672]	1196	if (token == "{"):
	1197	output += "%s" % token
	1198	indent += 2
	1199	context.remove(HEAD)
	1200	context.add(BODY)
	1201	continue
	1202
	1203	if (token == ";"):
	1204	output += "%s\n" % token
	1205	context.remove(HEAD)
[57688fe2]	1206	context.remove(IFACE)
[2a70672]	1207	continue
	1208
[3037384]	1209	print "%s: Expected 'extends', '{' or ';' in interface head '%s'" % (inname, interface)
[2a70672]	1210	continue
	1211
	1212	if (not identifier(token)):
	1213	print "%s: Expected interface name" % inname
	1214	else:
	1215	interface = token
	1216	output += "%s " % token
[fed03a3]	1217
	1218	if (not interface in iface_properties):
	1219	iface_properties[interface] = {}
	1220
	1221	iface_properties[interface]['name'] = interface
[2a70672]	1222
	1223	context.add(HEAD)
	1224	continue
	1225
	1226	# "architecture"
	1227
	1228	if (ARCH in context):
	1229	if (NULL in context):
	1230	if (token != ";"):
[ee5b35a]	1231	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1232	else:
	1233	output += "%s\n" % token
	1234
	1235	context.remove(NULL)
	1236	context.remove(ARCH)
	1237	context.discard(SYSTEM)
	1238	architecture = None
	1239	continue
	1240
	1241	if (BODY in context):
[ee5b35a]	1242	if (DELEGATE in context):
	1243	if (FIN in context):
	1244	if (token != ";"):
	1245	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
	1246	else:
	1247	output += "%s" % token
	1248
	1249	context.remove(FIN)
	1250	context.remove(DELEGATE)
	1251	continue
	1252
	1253	if (VAR in context):
	1254	if (not descriptor(token)):
	1255	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
	1256	else:
[fed03a3]	1257	if (not architecture in arch_properties):
	1258	arch_properties[architecture] = {}
	1259
	1260	if (not 'delegate' in arch_properties[architecture]):
	1261	arch_properties[architecture]['delegate'] = []
	1262
	1263	arch_properties[architecture]['delegate'].append({'from': arg0, 'to': token.split(":")})
	1264	arg0 = None
	1265
[ee5b35a]	1266	output += "%s" % token
	1267
	1268	context.add(FIN)
	1269	context.remove(VAR)
	1270	continue
	1271
	1272	if (TO in context):
	1273	if (token != "to"):
	1274	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
	1275	else:
	1276	output += "%s " % token
	1277
	1278	context.add(VAR)
	1279	context.remove(TO)
	1280	continue
	1281
	1282	if (not identifier(token)):
	1283	print "%s: Expected interface name in architecture '%s'" % (inname, architecture)
	1284	else:
	1285	output += "%s " % token
[fed03a3]	1286	arg0 = token
[ee5b35a]	1287
	1288	context.add(TO)
	1289	continue
	1290
	1291	if (SUBSUME in context):
	1292	if (FIN in context):
	1293	if (token != ";"):
	1294	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
	1295	else:
	1296	output += "%s" % token
	1297
	1298	context.remove(FIN)
	1299	context.remove(SUBSUME)
	1300	continue
	1301
	1302	if (VAR in context):
	1303	if (not identifier(token)):
	1304	print "%s: Expected interface name in architecture '%s'" % (inname, architecture)
	1305	else:
[fed03a3]	1306	if (not architecture in arch_properties):
	1307	arch_properties[architecture] = {}
	1308
	1309	if (not 'subsume' in arch_properties[architecture]):
	1310	arch_properties[architecture]['subsume'] = []
	1311
	1312	arch_properties[architecture]['subsume'].append({'from': arg0.split(":"), 'to': token})
	1313	arg0 = None
	1314
[ee5b35a]	1315	output += "%s" % token
	1316
	1317	context.add(FIN)
	1318	context.remove(VAR)
	1319	continue
	1320
	1321	if (TO in context):
	1322	if (token != "to"):
	1323	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
	1324	else:
	1325	output += "%s " % token
	1326
	1327	context.add(VAR)
	1328	context.remove(TO)
	1329	continue
	1330
	1331	if (not descriptor(token)):
	1332	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
	1333	else:
	1334	output += "%s " % token
[fed03a3]	1335	arg0 = token
[ee5b35a]	1336
	1337	context.add(TO)
	1338	continue
	1339
[2a70672]	1340	if (BIND in context):
	1341	if (FIN in context):
	1342	if (token != ";"):
[ee5b35a]	1343	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1344	else:
	1345	output += "%s" % token
	1346
	1347	context.remove(FIN)
	1348	context.remove(BIND)
	1349	continue
	1350
	1351	if (VAR in context):
	1352	if (not descriptor(token)):
[ee5b35a]	1353	print "%s: Expected second interface descriptor in architecture '%s'" % (inname, architecture)
[2a70672]	1354	else:
[fed03a3]	1355	if (not architecture in arch_properties):
	1356	arch_properties[architecture] = {}
	1357
	1358	if (not 'bind' in arch_properties[architecture]):
	1359	arch_properties[architecture]['bind'] = []
	1360
	1361	arch_properties[architecture]['bind'].append({'from': arg0.split(":"), 'to': token.split(":")})
	1362	arg0 = None
	1363
[2a70672]	1364	output += "%s" % token
	1365
	1366	context.add(FIN)
	1367	context.remove(VAR)
	1368	continue
	1369
	1370	if (TO in context):
	1371	if (token != "to"):
[ee5b35a]	1372	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
[2a70672]	1373	else:
	1374	output += "%s " % token
	1375
	1376	context.add(VAR)
	1377	context.remove(TO)
	1378	continue
	1379
	1380	if (not descriptor(token)):
[ee5b35a]	1381	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
[2a70672]	1382	else:
	1383	output += "%s " % token
[fed03a3]	1384	arg0 = token
[2a70672]	1385
	1386	context.add(TO)
	1387	continue
	1388
	1389	if (INST in context):
	1390	if (FIN in context):
	1391	if (token != ";"):
[ee5b35a]	1392	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1393	else:
	1394	output += "%s" % token
	1395
	1396	context.remove(FIN)
	1397	context.remove(INST)
	1398	continue
	1399
	1400	if (VAR in context):
	1401	if (not identifier(token)):
[ee5b35a]	1402	print "%s: Expected instance name in architecture '%s'" % (inname, architecture)
[2a70672]	1403	else:
[fed03a3]	1404	if (not architecture in arch_properties):
	1405	arch_properties[architecture] = {}
	1406
	1407	if (not 'inst' in arch_properties[architecture]):
	1408	arch_properties[architecture]['inst'] = []
	1409
	1410	arch_properties[architecture]['inst'].append({'type': arg0, 'var': token})
	1411	arg0 = None
	1412
[2a70672]	1413	output += "%s" % token
	1414
	1415	context.add(FIN)
	1416	context.remove(VAR)
	1417	continue
	1418
	1419	if (not identifier(token)):
[ee5b35a]	1420	print "%s: Expected frame/architecture type in architecture '%s'" % (inname, architecture)
[2a70672]	1421	else:
	1422	output += "%s " % token
[fed03a3]	1423	arg0 = token
[2a70672]	1424
	1425	context.add(VAR)
	1426	continue
	1427
	1428	if (token == "}"):
	1429	if (indent != 1):
[ee5b35a]	1430	print "%s: Wrong number of parentheses in architecture '%s'" % (inname, architecture)
[2a70672]	1431	else:
	1432	indent -= 1
	1433	output += "\n%s" % token
	1434
	1435	context.remove(BODY)
	1436	context.add(NULL)
	1437	continue
	1438
	1439	if (token == "inst"):
	1440	output += "\n%s%s " % (tabs(indent), token)
	1441	context.add(INST)
	1442	continue
	1443
	1444	if (token == "bind"):
	1445	output += "\n%s%s " % (tabs(indent), token)
	1446	context.add(BIND)
	1447	continue
	1448
[ee5b35a]	1449	if (token == "subsume"):
	1450	output += "\n%s%s " % (tabs(indent), token)
	1451	context.add(SUBSUME)
	1452	continue
	1453
	1454	if (token == "delegate"):
	1455	output += "\n%s%s " % (tabs(indent), token)
	1456	context.add(DELEGATE)
	1457	continue
	1458
	1459	print "%s: Unknown token '%s' in architecture '%s'" % (inname, token, architecture)
[2a70672]	1460	continue
	1461
	1462	if (HEAD in context):
	1463	if (token == "{"):
	1464	output += "%s" % token
	1465	indent += 1
	1466	context.remove(HEAD)
	1467	context.add(BODY)
	1468	continue
	1469
	1470	if (token == ";"):
	1471	output += "%s\n" % token
	1472	context.remove(HEAD)
	1473	context.remove(ARCH)
	1474	context.discard(SYSTEM)
	1475	continue
	1476
	1477	if (not word(token)):
[ee5b35a]	1478	print "%s: Expected word in architecture head '%s'" % (inname, architecture)
[2a70672]	1479	else:
	1480	output += "%s " % token
	1481
	1482	continue
	1483
	1484	if (not identifier(token)):
	1485	print "%s: Expected architecture name" % inname
	1486	else:
	1487	architecture = token
	1488	output += "%s " % token
[fed03a3]	1489
	1490	if (not architecture in arch_properties):
	1491	arch_properties[architecture] = {}
	1492
	1493	arch_properties[architecture]['name'] = architecture
	1494
	1495	if (SYSTEM in context):
	1496	arch_properties[architecture]['system'] = True
[2a70672]	1497
	1498	context.add(HEAD)
	1499	continue
	1500
	1501	# "system architecture"
	1502
	1503	if (SYSTEM in context):
	1504	if (token != "architecture"):
[ee5b35a]	1505	print "%s: Expected 'architecture'" % inname
[2a70672]	1506	else:
	1507	output += "%s " % token
	1508
	1509	context.add(ARCH)
	1510	continue
	1511
[ee5b35a]	1512	if (token == "frame"):
	1513	output += "\n%s " % token
	1514	context.add(FRAME)
	1515	continue
	1516
[2a70672]	1517	if (token == "interface"):
	1518	output += "\n%s " % token
	1519	context.add(IFACE)
	1520	continue
	1521
	1522	if (token == "system"):
	1523	output += "\n%s " % token
	1524	context.add(SYSTEM)
	1525	continue
	1526
	1527	if (token == "architecture"):
	1528	output += "\n%s " % token
	1529	context.add(ARCH)
	1530	continue
	1531
[ee5b35a]	1532	print "%s: Unknown token '%s'" % (inname, token)
[1993f9a]	1533
	1534	inf.close()
[e742429]	1535
[ee5b35a]	1536	def open_adl(base, root, inname, outdir, outname):
[1993f9a]	1537	"Open Architecture Description file"
	1538
[ee5b35a]	1539	global output
	1540	global context
	1541	global architecture
	1542	global interface
	1543	global frame
	1544	global protocol
[6d4c549]	1545	global initialization
	1546	global finalization
[ee5b35a]	1547
[fed03a3]	1548	global arg0
	1549
[6d4c549]	1550	global opt_adl
	1551
[ee5b35a]	1552	output = ""
	1553	context = set()
[2a70672]	1554	architecture = None
[ee5b35a]	1555	interface = None
	1556	frame = None
[2a70672]	1557	protocol = None
[6d4c549]	1558	initialization = None
	1559	finalization = None
[fed03a3]	1560	arg0 = None
[1993f9a]	1561
[ee5b35a]	1562	parse_adl(base, root, inname, False, 0)
	1563	output = output.strip()
[1993f9a]	1564
[6d4c549]	1565	if ((output != "") and (opt_adl)):
[ee5b35a]	1566	outf = file(outname, "w")
	1567	outf.write(output)
	1568	outf.close()
[1993f9a]	1569
	1570	def recursion(base, root, output, level):
[e742429]	1571	"Recursive directory walk"
	1572
	1573	for name in os.listdir(root):
	1574	canon = os.path.join(root, name)
	1575
[1993f9a]	1576	if (os.path.isfile(canon)):
[e742429]	1577	fcomp = split_tokens(canon, ["."])
[1993f9a]	1578	cname = canon.split("/")
	1579
[2a70672]	1580	if (fcomp[-1] == ".adl"):
	1581	output_path = os.path.join(output, cname[-1])
[ee5b35a]	1582	open_adl(base, root, canon, output, output_path)
[e742429]	1583
	1584	if (os.path.isdir(canon)):
[1993f9a]	1585	recursion(base, canon, output, level + 1)
[e742429]	1586
[c123609]	1587	def merge_dot_frame(prefix, name, frame, outf, indent):
	1588	"Dump Dot frame"
[8e21512e]	1589
[c123609]	1590	outf.write("%ssubgraph cluster_%s {\n" % (tabs(indent), prefix))
	1591	outf.write("%s\tlabel=\"%s\";\n" % (tabs(indent), name))
	1592	outf.write("%s\tstyle=filled;\n" % tabs(indent))
	1593	outf.write("%s\tcolor=red;\n" % tabs(indent))
	1594	outf.write("%s\tfillcolor=yellow;\n" % tabs(indent))
	1595	outf.write("%s\t\n" % tabs(indent))
[8e21512e]	1596
[c123609]	1597	if ('provides' in frame):
	1598	outf.write("%s\t%s__provides [label=\"\", shape=doublecircle, style=filled, color=green, fillcolor=yellow];\n" % (tabs(indent), prefix))
[8e21512e]	1599
[c123609]	1600	if ('requires' in frame):
	1601	outf.write("%s\t%s__requires [label=\"\", shape=circle, style=filled, color=red, fillcolor=yellow];\n" % (tabs(indent), prefix))
[8e21512e]	1602
[c123609]	1603	outf.write("%s}\n" % tabs(indent))
	1604	outf.write("%s\n" % tabs(indent))
[8e21512e]	1605
[c123609]	1606	def merge_dot_arch(prefix, name, arch, outf, indent):
[8e21512e]	1607	"Dump Dot subarchitecture"
	1608
	1609	outf.write("%ssubgraph cluster_%s {\n" % (tabs(indent), prefix))
	1610	outf.write("%s\tlabel=\"%s\";\n" % (tabs(indent), name))
	1611	outf.write("%s\tcolor=red;\n" % tabs(indent))
	1612	outf.write("%s\t\n" % tabs(indent))
	1613
	1614	if ('inst' in arch):
	1615	for inst in arch['inst']:
	1616	subarch = get_arch(inst['type'])
	1617	if (not subarch is None):
[c123609]	1618	merge_dot_arch("%s_%s" % (prefix, inst['var']), inst['var'], subarch, outf, indent + 1)
[8e21512e]	1619	else:
	1620	subframe = get_frame(inst['type'])
	1621	if (not subframe is None):
[c123609]	1622	merge_dot_frame("%s_%s" % (prefix, inst['var']), inst['var'], subframe, outf, indent + 1)
[8e21512e]	1623	else:
	1624	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
	1625
	1626	if ('bind' in arch):
[c123609]	1627	labels = {}
	1628	for bind in arch['bind']:
	1629	if (bind['from'][1] != bind['to'][1]):
	1630	label = "%s:%s" % (bind['from'][1], bind['to'][1])
	1631	else:
	1632	label = bind['from'][1]
	1633
	1634	if (not (bind['from'][0], bind['to'][0]) in labels):
	1635	labels[(bind['from'][0], bind['to'][0])] = []
	1636
	1637	labels[(bind['from'][0], bind['to'][0])].append(label)
	1638
[8e21512e]	1639	for bind in arch['bind']:
[c123609]	1640	if (not (bind['from'][0], bind['to'][0]) in labels):
	1641	continue
	1642
	1643	attrs = []
	1644
	1645	if (bind['from'][0] != bind['to'][0]):
	1646	attrs.append("ltail=cluster_%s_%s" % (prefix, bind['from'][0]))
	1647	attrs.append("lhead=cluster_%s_%s" % (prefix, bind['to'][0]))
	1648
	1649	attrs.append("label=\"%s\"" % "\\n".join(labels[(bind['from'][0], bind['to'][0])]))
	1650	del labels[(bind['from'][0], bind['to'][0])]
	1651
	1652	outf.write("%s\t%s_%s__requires -> %s_%s__provides [%s];\n" % (tabs(indent), prefix, bind['from'][0], prefix, bind['to'][0], ", ".join(attrs)))
[8e21512e]	1653
	1654	if ('delegate' in arch):
[c123609]	1655	outf.write("%s\t%s__provides [label=\"\", shape=doublecircle, color=green];\n" % (tabs(indent), prefix))
	1656
	1657	labels = {}
[8e21512e]	1658	for delegate in arch['delegate']:
[c123609]	1659	if (delegate['from'] != delegate['to'][1]):
	1660	label = "%s:%s" % (delegate['from'], delegate['to'][1])
	1661	else:
	1662	label = delegate['from']
	1663
	1664	if (not delegate['to'][0] in labels):
	1665	labels[delegate['to'][0]] = []
	1666
	1667	labels[delegate['to'][0]].append(label)
	1668
	1669	for delegate in arch['delegate']:
	1670	if (not delegate['to'][0] in labels):
	1671	continue
	1672
	1673	attrs = []
	1674	attrs.append("color=gray")
	1675	attrs.append("lhead=cluster_%s_%s" % (prefix, delegate['to'][0]))
	1676	attrs.append("label=\"%s\"" % "\\n".join(labels[delegate['to'][0]]))
	1677	del labels[delegate['to'][0]]
	1678
	1679	outf.write("%s\t%s__provides -> %s_%s__provides [%s];\n" % (tabs(indent), prefix, prefix, delegate['to'][0], ", ".join(attrs)))
[8e21512e]	1680
	1681	if ('subsume' in arch):
[c123609]	1682	outf.write("%s\t%s__requires [label=\"\", shape=circle, color=red];\n" % (tabs(indent), prefix))
	1683
	1684	labels = {}
[8e21512e]	1685	for subsume in arch['subsume']:
[c123609]	1686	if (subsume['from'][1] != subsume['to']):
	1687	label = "%s:%s" % (subsume['from'][1], subsume['to'])
	1688	else:
	1689	label = subsume['to']
	1690
	1691	if (not subsume['from'][0] in labels):
	1692	labels[subsume['from'][0]] = []
	1693
	1694	labels[subsume['from'][0]].append(label)
	1695
	1696	for subsume in arch['subsume']:
	1697	if (not subsume['from'][0] in labels):
	1698	continue
	1699
	1700	attrs = []
	1701	attrs.append("color=gray")
	1702	attrs.append("ltail=cluster_%s_%s" % (prefix, subsume['from'][0]))
	1703	attrs.append("label=\"%s\"" % "\\n".join(labels[subsume['from'][0]]))
	1704	del labels[subsume['from'][0]]
	1705
	1706	outf.write("%s\t%s_%s__requires -> %s__requires [%s];\n" % (tabs(indent), prefix, subsume['from'][0], prefix, ", ".join(attrs)))
[8e21512e]	1707
	1708	outf.write("%s}\n" % tabs(indent))
	1709	outf.write("%s\n" % tabs(indent))
	1710
	1711	def dump_dot(outdir):
	1712	"Dump Dot architecture"
	1713
	1714	global opt_dot
	1715
	1716	arch = get_system_arch()
	1717
	1718	if (arch is None):
	1719	print "Unable to find system architecture"
	1720	return
	1721
	1722	if (opt_dot):
	1723	outname = os.path.join(outdir, "%s.dot" % arch['name'])
	1724	outf = file(outname, "w")
	1725
	1726	outf.write("digraph {\n")
	1727	outf.write("\tlabel=\"%s\";\n" % arch['name'])
	1728	outf.write("\tcompound=true;\n")
[c088fd4]	1729	outf.write("\tsplines=\"polyline\";\n")
[c123609]	1730	outf.write("\tedge [fontsize=8];\n")
[8e21512e]	1731	outf.write("\t\n")
	1732
	1733	if ('inst' in arch):
	1734	for inst in arch['inst']:
	1735	subarch = get_arch(inst['type'])
	1736	if (not subarch is None):
[c123609]	1737	merge_dot_arch(inst['var'], inst['var'], subarch, outf, 1)
[8e21512e]	1738	else:
	1739	subframe = get_frame(inst['type'])
	1740	if (not subframe is None):
[c123609]	1741	merge_dot_frame("%s" % inst['var'], inst['var'], subframe, outf, 1)
[8e21512e]	1742	else:
	1743	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
	1744
	1745	if ('bind' in arch):
[c123609]	1746	labels = {}
	1747	for bind in arch['bind']:
	1748	if (bind['from'][1] != bind['to'][1]):
	1749	label = "%s:%s" % (bind['from'][1], bind['to'][1])
	1750	else:
	1751	label = bind['from'][1]
	1752
	1753	if (not (bind['from'][0], bind['to'][0]) in labels):
	1754	labels[(bind['from'][0], bind['to'][0])] = []
	1755
	1756	labels[(bind['from'][0], bind['to'][0])].append(label)
	1757
[8e21512e]	1758	for bind in arch['bind']:
[c123609]	1759	if (not (bind['from'][0], bind['to'][0]) in labels):
	1760	continue
	1761
	1762	attrs = []
	1763
	1764	if (bind['from'][0] != bind['to'][0]):
	1765	attrs.append("ltail=cluster_%s" % bind['from'][0])
	1766	attrs.append("lhead=cluster_%s" % bind['to'][0])
	1767
	1768	attrs.append("label=\"%s\"" % "\\n".join(labels[(bind['from'][0], bind['to'][0])]))
	1769	del labels[(bind['from'][0], bind['to'][0])]
	1770
	1771	outf.write("\t%s__requires -> %s__provides [%s];\n" % (bind['from'][0], bind['to'][0], ", ".join(attrs)))
[8e21512e]	1772
	1773	if ('delegate' in arch):
	1774	for delegate in arch['delegate']:
	1775	print "Unable to delegate interface in system architecture"
	1776	break
	1777
	1778	if ('subsume' in arch):
	1779	for subsume in arch['subsume']:
	1780	print "Unable to subsume interface in system architecture"
	1781	break
	1782
	1783	outf.write("}\n")
	1784
	1785	outf.close()
	1786
[e742429]	1787	def main():
[fed03a3]	1788	global iface_properties
	1789	global frame_properties
	1790	global arch_properties
[6d4c549]	1791	global opt_bp
[100aaf5]	1792	global opt_ebp
[6d4c549]	1793	global opt_adl
[8e21512e]	1794	global opt_dot
[ee5b35a]	1795
[6d4c549]	1796	if (len(sys.argv) < 3):
[e742429]	1797	usage(sys.argv[0])
	1798	return
	1799
[6d4c549]	1800	opt_bp = False
[100aaf5]	1801	opt_ebp = False
[6d4c549]	1802	opt_adl = False
[8e21512e]	1803	opt_dot = False
[6d4c549]	1804
	1805	for arg in sys.argv[1:(len(sys.argv) - 1)]:
[100aaf5]	1806	if (arg == "--bp"):
[6d4c549]	1807	opt_bp = True
[100aaf5]	1808	elif (arg == "--ebp"):
	1809	opt_ebp = True
	1810	elif (arg == "--adl"):
[6d4c549]	1811	opt_adl = True
[8e21512e]	1812	elif (arg == "--dot"):
	1813	opt_dot = True
[100aaf5]	1814	elif (arg == "--nop"):
[6d4c549]	1815	pass
	1816	else:
	1817	print "Error: Unknown command line option '%s'" % arg
	1818	return
	1819
[100aaf5]	1820	if ((opt_bp) and (opt_ebp)):
	1821	print "Error: Cannot dump both original Behavior Protocols and Extended Behavior Protocols"
	1822	return
	1823
[6d4c549]	1824	path = os.path.abspath(sys.argv[-1])
[07fdf203]	1825	if (not os.path.isdir(path)):
[1993f9a]	1826	print "Error: <OUTPUT> is not a directory"
[e742429]	1827	return
	1828
[fed03a3]	1829	iface_properties = {}
	1830	frame_properties = {}
	1831	arch_properties = {}
[ee5b35a]	1832
[1993f9a]	1833	recursion(".", ".", path, 0)
[57688fe2]	1834	dump_archbp(path)
[8e21512e]	1835	dump_dot(path)
[1993f9a]	1836
[e742429]	1837	if __name__ == '__main__':
	1838	main()

Note: See TracBrowser for help on using the repository browser.

Download in other formats: