Context Navigation

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

Visit:

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

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

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

Download in other formats: