Context Navigation

source: mainline/contrib/arch/hadlbppp.py@ 7a53208

Visit:

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

Last change on this file since 7a53208 was 7a53208, checked in by Martin Decky <martin@…>, 16 years ago
bind unbound interfaces
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
	446	if (opt_bp):
	447	outf = file(outname, "w")
	448	outf.write(parse_bp(outname, merge_bp(initialization, finalization, protocols), 0))
	449	outf.close()
[100aaf5]	450
	451	if (opt_ebp):
	452	outf = file(outname, "w")
	453	outf.write(parse_ebp(frame['name'], outname, merge_bp(initialization, finalization, protocols), 0))
	454	outf.close()
[ee5b35a]	455
[fed03a3]	456	def get_system_arch():
	457	"Get system architecture"
	458
	459	global arch_properties
	460
	461	for arch, properties in arch_properties.items():
	462	if ('system' in properties):
	463	return properties
	464
	465	return None
	466
	467	def get_arch(name):
	468	"Get architecture by name"
	469
	470	global arch_properties
[ee5b35a]	471
[fed03a3]	472	if (name in arch_properties):
	473	return arch_properties[name]
	474
	475	return None
	476
	477	def get_frame(name):
	478	"Get frame by name"
	479
	480	global frame_properties
	481
	482	if (name in frame_properties):
	483	return frame_properties[name]
	484
	485	return None
	486
[57688fe2]	487	def create_null_bp(fname, outdir, archf):
[fed03a3]	488	"Create null frame protocol"
	489
[6d4c549]	490	global opt_bp
[100aaf5]	491	global opt_ebp
[6d4c549]	492
	493	if (archf != None):
	494	archf.write("frame \"%s\"\n" % fname)
	495
[57688fe2]	496	outname = os.path.join(outdir, fname)
	497
[6d4c549]	498	if (opt_bp):
	499	outf = file(outname, "w")
	500	outf.write("NULL")
	501	outf.close()
[100aaf5]	502
	503	if (opt_ebp):
	504	outf = file(outname, "w")
	505	outf.write("component null {\n\tbehavior {\n\t\tNULL\n\t}\n}")
	506	outf.close()
[fed03a3]	507
[f1fb1d1]	508	def flatten_binds(binds, delegates, subsumes):
	509	"Remove bindings which are replaced by delegation or subsumption"
	510
	511	result = []
	512	stable = True
	513
	514	for bind in binds:
	515	keep = True
	516
	517	for delegate in delegates:
	518	if (bind['to'] == delegate['to']):
	519	keep = False
	520	result.append({'from': bind['from'], 'to': delegate['rep']})
	521
	522	for subsume in subsumes:
	523	if (bind['from'] == subsume['from']):
	524	keep = False
	525	result.append({'from': subsume['rep'], 'to': bind['to']})
	526
	527	if (keep):
	528	result.append(bind)
	529	else:
	530	stable = False
	531
	532	if (stable):
	533	return result
	534	else:
	535	return flatten_binds(result, delegates, subsumes)
	536
[41eca31]	537	def direct_binds(binds):
	538	"Convert bindings matrix to set of sources by destination"
	539
	540	result = {}
	541
	542	for bind in binds:
	543	if (not bind['to'] in result):
	544	result[bind['to']] = set()
	545
	546	result[bind['to']].add(bind['from'])
	547
	548	return result
	549
[57688fe2]	550	def merge_subarch(prefix, arch, outdir):
	551	"Merge subarchitecture into architexture"
[fed03a3]	552
[57688fe2]	553	insts = []
	554	binds = []
	555	delegates = []
	556	subsumes = []
[ee5b35a]	557
[57688fe2]	558	if ('inst' in arch):
	559	for inst in arch['inst']:
	560	subarch = get_arch(inst['type'])
	561	if (not subarch is None):
	562	(subinsts, subbinds, subdelegates, subsubsumes) = merge_subarch("%s_%s" % (prefix, subarch['name']), subarch, outdir)
	563	insts.extend(subinsts)
	564	binds.extend(subbinds)
	565	delegates.extend(subdelegates)
	566	subsumes.extend(subsubsumes)
	567	else:
	568	subframe = get_frame(inst['type'])
	569	if (not subframe is None):
	570	insts.append({'var': "%s_%s" % (prefix, inst['var']), 'frame': subframe})
	571	else:
	572	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
[fed03a3]	573
[57688fe2]	574	if ('bind' in arch):
	575	for bind in arch['bind']:
	576	binds.append({'from': "%s_%s.%s" % (prefix, bind['from'][0], bind['from'][1]), 'to': "%s_%s.%s" % (prefix, bind['to'][0], bind['to'][1])})
	577
	578	if ('delegate' in arch):
	579	for delegate in arch['delegate']:
	580	delegates.append({'to': "%s.%s" % (prefix, delegate['from']), 'rep': "%s_%s.%s" % (prefix, delegate['to'][0], delegate['to'][1])})
	581
	582	if ('subsume' in arch):
	583	for subsume in arch['subsume']:
	584	subsumes.append({'from': "%s.%s" % (prefix, subsume['to']), 'rep': "%s_%s.%s" % (prefix, subsume['from'][0], subsume['from'][1])})
	585
	586	return (insts, binds, delegates, subsumes)
	587
	588	def dump_archbp(outdir):
	589	"Dump system architecture Behavior Protocol"
	590
[6d4c549]	591	global opt_bp
[100aaf5]	592	global opt_ebp
[6d4c549]	593
[57688fe2]	594	arch = get_system_arch()
	595
	596	if (arch is None):
	597	print "Unable to find system architecture"
	598	return
	599
	600	insts = []
	601	binds = []
	602	delegates = []
	603	subsumes = []
[fed03a3]	604
	605	if ('inst' in arch):
	606	for inst in arch['inst']:
	607	subarch = get_arch(inst['type'])
	608	if (not subarch is None):
[57688fe2]	609	(subinsts, subbinds, subdelegates, subsubsumes) = merge_subarch(subarch['name'], subarch, outdir)
	610	insts.extend(subinsts)
	611	binds.extend(subbinds)
	612	delegates.extend(subdelegates)
	613	subsumes.extend(subsubsumes)
[fed03a3]	614	else:
	615	subframe = get_frame(inst['type'])
	616	if (not subframe is None):
[57688fe2]	617	insts.append({'var': inst['var'], 'frame': subframe})
[fed03a3]	618	else:
[57688fe2]	619	print "%s: '%s' is neither an architecture nor a frame" % (arch['name'], inst['type'])
[8c73012]	620
	621	if ('bind' in arch):
	622	for bind in arch['bind']:
[57688fe2]	623	binds.append({'from': "%s.%s" % (bind['from'][0], bind['from'][1]), 'to': "%s.%s" % (bind['to'][0], bind['to'][1])})
	624
	625	if ('delegate' in arch):
	626	for delegate in arch['delegate']:
	627	print "Unable to delegate interface in system architecture"
	628	break
	629
	630	if ('subsume' in arch):
	631	for subsume in arch['subsume']:
	632	print "Unable to subsume interface in system architecture"
	633	break
	634
[6d4c549]	635
[57688fe2]	636	outname = os.path.join(outdir, "%s.archbp" % arch['name'])
[100aaf5]	637	if ((opt_bp) or (opt_ebp)):
[6d4c549]	638	outf = file(outname, "w")
	639	else:
	640	outf = None
[57688fe2]	641
	642	create_null_bp("null.bp", outdir, outf)
	643
	644	for inst in insts:
	645	dump_frame(inst['frame'], outdir, inst['var'], outf)
	646
[41eca31]	647	directed_binds = direct_binds(flatten_binds(binds, delegates, subsumes))
	648
	649	for dst, src in directed_binds.items():
[6d4c549]	650	if (outf != None):
	651	outf.write("bind %s to %s\n" % (", ".join(src), dst))
[fed03a3]	652
[6d4c549]	653	if (outf != None):
	654	outf.close()
[ee5b35a]	655
	656	def preproc_adl(raw, inarg):
	657	"Preprocess %% statements in ADL"
	658
	659	return raw.replace("%%", inarg)
	660
[2a70672]	661	def parse_adl(base, root, inname, nested, indent):
[1993f9a]	662	"Parse Architecture Description Language"
	663
[ee5b35a]	664	global output
	665	global context
	666	global architecture
	667	global interface
	668	global frame
	669	global protocol
[6d4c549]	670	global initialization
	671	global finalization
[fed03a3]	672
	673	global iface_properties
	674	global frame_properties
	675	global arch_properties
	676
	677	global arg0
[ee5b35a]	678
[1993f9a]	679	if (nested):
[2a70672]	680	parts = inname.split("%")
[1993f9a]	681
[2a70672]	682	if (len(parts) > 1):
	683	inarg = parts[1]
	684	else:
	685	inarg = "%%"
	686
	687	if (parts[0][0:1] == "/"):
	688	path = os.path.join(base, ".%s" % parts[0])
[1993f9a]	689	nested_root = os.path.dirname(path)
	690	else:
[2a70672]	691	path = os.path.join(root, parts[0])
[1993f9a]	692	nested_root = root
	693
	694	if (not os.path.isfile(path)):
[2a70672]	695	print "%s: Unable to include file %s" % (inname, path)
	696	return ""
[1993f9a]	697	else:
	698	inarg = "%%"
[2a70672]	699	path = inname
[1993f9a]	700	nested_root = root
	701
[2a70672]	702	inf = file(path, "r")
[1993f9a]	703
[2a70672]	704	raw = preproc_adl(inf.read(), inarg)
	705	tokens = split_tokens(raw, ["\n", " ", "\t", "(", ")", "{", "}", "[", "]", "/", "/", "#", ";"], True, True)
[1993f9a]	706
	707	for token in tokens:
	708
[2a70672]	709	# Includes
	710
	711	if (INC in context):
	712	context.remove(INC)
[ee5b35a]	713	parse_adl(base, nested_root, token, True, indent)
[2a70672]	714	context.add(POST_INC)
[1993f9a]	715	continue
	716
[2a70672]	717	if (POST_INC in context):
	718	if (token != "]"):
	719	print "%s: Expected ]" % inname
	720
	721	context.remove(POST_INC)
	722	continue
	723
	724	# Comments and newlines
	725
	726	if (BLOCK_COMMENT in context):
	727	if (token == "*/"):
	728	context.remove(BLOCK_COMMENT)
	729
	730	continue
	731
	732	if (LINE_COMMENT in context):
	733	if (token == "\n"):
	734	context.remove(LINE_COMMENT)
	735
	736	continue
	737
	738	# Any context
	739
	740	if (token == "/*"):
	741	context.add(BLOCK_COMMENT)
	742	continue
	743
	744	if (token == "#"):
	745	context.add(LINE_COMMENT)
	746	continue
	747
	748	if (token == "["):
	749	context.add(INC)
	750	continue
	751
[ee5b35a]	752	if (token == "\n"):
	753	continue
[2a70672]	754
[ee5b35a]	755	# "frame"
	756
	757	if (FRAME in context):
	758	if (NULL in context):
	759	if (token != ";"):
	760	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	761	else:
	762	output += "%s\n" % token
	763
	764	context.remove(NULL)
	765	context.remove(FRAME)
	766	frame = None
[2a70672]	767	continue
[ee5b35a]	768
	769	if (BODY in context):
[6d4c549]	770	if (FINALIZATION in context):
	771	if (token == "{"):
	772	indent += 1
	773	elif (token == "}"):
	774	indent -= 1
	775
	776	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
	777	bp = split_bp(finalization)
	778	finalization = None
	779
	780	if (not frame in frame_properties):
	781	frame_properties[frame] = {}
	782
	783	if ('finalization' in frame_properties[frame]):
	784	print "%s: Finalization protocol for frame '%s' already defined" % (inname, frame)
	785	else:
	786	frame_properties[frame]['finalization'] = bp
	787
	788	output += "\n%s" % tabs(2)
	789	output += parse_bp(inname, bp, 2)
	790
	791	context.remove(FINALIZATION)
	792	if (indent == -1):
	793	output += "\n%s" % token
	794	context.remove(BODY)
	795	context.add(NULL)
	796	indent = 0
	797	continue
	798	else:
	799	indent = 2
	800	else:
	801	finalization += token
	802	continue
	803
	804	if (INITIALIZATION in context):
	805	if (token == "{"):
	806	indent += 1
	807	elif (token == "}"):
	808	indent -= 1
	809
	810	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
	811	bp = split_bp(initialization)
	812	initialization = None
	813
	814	if (not frame in frame_properties):
	815	frame_properties[frame] = {}
	816
	817	if ('initialization' in frame_properties[frame]):
	818	print "%s: Initialization protocol for frame '%s' already defined" % (inname, frame)
	819	else:
	820	frame_properties[frame]['initialization'] = bp
	821
	822	output += "\n%s" % tabs(2)
	823	output += parse_bp(inname, bp, 2)
	824
	825	context.remove(INITIALIZATION)
	826	if (indent == -1):
	827	output += "\n%s" % token
	828	context.remove(BODY)
	829	context.add(NULL)
	830	indent = 0
	831	continue
	832	else:
	833	indent = 2
	834	else:
	835	initialization += token
	836	continue
	837
[ee5b35a]	838	if (PROTOCOL in context):
	839	if (token == "{"):
	840	indent += 1
	841	elif (token == "}"):
	842	indent -= 1
	843
[6d4c549]	844	if (((token[-1] == ":") and (indent == 0)) or (indent == -1)):
[fed03a3]	845	bp = split_bp(protocol)
	846	protocol = None
	847
	848	if (not frame in frame_properties):
	849	frame_properties[frame] = {}
	850
	851	if ('protocol' in frame_properties[frame]):
[ee5b35a]	852	print "%s: Protocol for frame '%s' already defined" % (inname, frame)
	853	else:
[fed03a3]	854	frame_properties[frame]['protocol'] = bp
[ee5b35a]	855
[fed03a3]	856	output += "\n%s" % tabs(2)
	857	output += parse_bp(inname, bp, 2)
[ee5b35a]	858
	859	context.remove(PROTOCOL)
[6d4c549]	860	if (indent == -1):
	861	output += "\n%s" % token
	862	context.remove(BODY)
	863	context.add(NULL)
	864	indent = 0
	865	continue
	866	else:
	867	indent = 2
[ee5b35a]	868	else:
	869	protocol += token
[6d4c549]	870	continue
[ee5b35a]	871
	872	if (REQUIRES in context):
	873	if (FIN in context):
	874	if (token != ";"):
	875	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	876	else:
	877	output += "%s" % token
	878
	879	context.remove(FIN)
	880	continue
	881
	882	if (VAR in context):
	883	if (not identifier(token)):
[fed03a3]	884	print "%s: Variable name expected in frame '%s'" % (inname, frame)
[ee5b35a]	885	else:
[fed03a3]	886	if (not frame in frame_properties):
	887	frame_properties[frame] = {}
	888
	889	if (not 'requires' in frame_properties[frame]):
	890	frame_properties[frame]['requires'] = []
	891
	892	frame_properties[frame]['requires'].append({'iface': arg0, 'var': token})
	893	arg0 = None
	894
[ee5b35a]	895	output += "%s" % token
	896
	897	context.remove(VAR)
	898	context.add(FIN)
	899	continue
	900
	901	if ((token == "}") or (token[-1] == ":")):
	902	context.remove(REQUIRES)
	903	else:
	904	if (not identifier(token)):
	905	print "%s: Interface name expected in frame '%s'" % (inname, frame)
	906	else:
[fed03a3]	907	arg0 = token
[ee5b35a]	908	output += "\n%s%s " % (tabs(indent), token)
	909
	910	context.add(VAR)
	911	continue
	912
	913	if (PROVIDES in context):
	914	if (FIN in context):
	915	if (token != ";"):
	916	print "%s: Expected ';' in frame '%s'" % (inname, frame)
	917	else:
	918	output += "%s" % token
	919
	920	context.remove(FIN)
	921	continue
	922
	923	if (VAR in context):
	924	if (not identifier(token)):
[fed03a3]	925	print "%s: Variable name expected in frame '%s'" % (inname, frame)
[ee5b35a]	926	else:
[fed03a3]	927	if (not frame in frame_properties):
	928	frame_properties[frame] = {}
	929
	930	if (not 'provides' in frame_properties[frame]):
	931	frame_properties[frame]['provides'] = []
	932
	933	frame_properties[frame]['provides'].append({'iface': arg0, 'var': token})
	934	arg0 = None
	935
[ee5b35a]	936	output += "%s" % token
	937
	938	context.remove(VAR)
	939	context.add(FIN)
	940	continue
	941
	942	if ((token == "}") or (token[-1] == ":")):
	943	context.remove(PROVIDES)
	944	else:
	945	if (not identifier(token)):
	946	print "%s: Interface name expected in frame '%s'" % (inname, frame)
	947	else:
[fed03a3]	948	arg0 = token
[ee5b35a]	949	output += "\n%s%s " % (tabs(indent), token)
	950
	951	context.add(VAR)
	952	continue
	953
	954	if (token == "}"):
	955	if (indent != 2):
	956	print "%s: Wrong number of parentheses in frame '%s'" % (inname, frame)
	957	else:
	958	indent = 0
	959	output += "\n%s" % token
	960
	961	context.remove(BODY)
	962	context.add(NULL)
	963	continue
	964
	965	if (token == "provides:"):
	966	output += "\n%s%s" % (tabs(indent - 1), token)
	967	context.add(PROVIDES)
	968	continue
	969
	970	if (token == "requires:"):
	971	output += "\n%s%s" % (tabs(indent - 1), token)
	972	context.add(REQUIRES)
[6d4c549]	973	continue
	974
	975	if (token == "initialization:"):
	976	output += "\n%s%s" % (tabs(indent - 1), token)
	977	indent = 0
	978	context.add(INITIALIZATION)
	979	initialization = ""
	980	continue
	981
	982	if (token == "finalization:"):
	983	output += "\n%s%s" % (tabs(indent - 1), token)
	984	indent = 0
	985	context.add(FINALIZATION)
	986	finalization = ""
[ee5b35a]	987	continue
	988
	989	if (token == "protocol:"):
	990	output += "\n%s%s" % (tabs(indent - 1), token)
	991	indent = 0
	992	context.add(PROTOCOL)
	993	protocol = ""
	994	continue
	995
	996	print "%s: Unknown token '%s' in frame '%s'" % (inname, token, frame)
[2a70672]	997	continue
[ee5b35a]	998
	999	if (HEAD in context):
	1000	if (token == "{"):
	1001	output += "%s" % token
	1002	indent += 2
	1003	context.remove(HEAD)
	1004	context.add(BODY)
	1005	continue
	1006
	1007	if (token == ";"):
	1008	output += "%s\n" % token
	1009	context.remove(HEAD)
	1010	context.remove(FRAME)
	1011	continue
	1012
	1013	print "%s: Unknown token '%s' in frame head '%s'" % (inname, token, frame)
	1014
	1015	continue
	1016
	1017	if (not identifier(token)):
	1018	print "%s: Expected frame name" % inname
	1019	else:
	1020	frame = token
	1021	output += "%s " % token
[fed03a3]	1022
	1023	if (not frame in frame_properties):
	1024	frame_properties[frame] = {}
	1025
	1026	frame_properties[frame]['name'] = frame
[ee5b35a]	1027
	1028	context.add(HEAD)
	1029	continue
[2a70672]	1030
	1031	# "interface"
	1032
	1033	if (IFACE in context):
	1034	if (NULL in context):
	1035	if (token != ";"):
[ee5b35a]	1036	print "%s: Expected ';' in interface '%s'" % (inname, interface)
[2a70672]	1037	else:
	1038	output += "%s\n" % token
	1039
	1040	context.remove(NULL)
	1041	context.remove(IFACE)
	1042	interface = None
	1043	continue
	1044
	1045	if (BODY in context):
	1046	if (PROTOCOL in context):
	1047	if (token == "{"):
	1048	indent += 1
	1049	elif (token == "}"):
	1050	indent -= 1
	1051
[ee5b35a]	1052	if (indent == -1):
[fed03a3]	1053	bp = split_bp(protocol)
	1054	protocol = None
	1055
	1056	if (not interface in iface_properties):
	1057	iface_properties[interface] = {}
	1058
	1059	if ('protocol' in iface_properties[interface]):
[ee5b35a]	1060	print "%s: Protocol for interface '%s' already defined" % (inname, interface)
	1061	else:
[fed03a3]	1062	iface_properties[interface]['protocol'] = bp
[ee5b35a]	1063
	1064	output += "\n%s" % tabs(2)
[fed03a3]	1065	output += parse_bp(inname, bp, 2)
[2a70672]	1066	output += "\n%s" % token
[ee5b35a]	1067	indent = 0
[2a70672]	1068
	1069	context.remove(PROTOCOL)
	1070	context.remove(BODY)
	1071	context.add(NULL)
	1072	else:
	1073	protocol += token
	1074
	1075	continue
	1076
	1077	if (PROTOTYPE in context):
	1078	if (FIN in context):
	1079	if (token != ";"):
[ee5b35a]	1080	print "%s: Expected ';' in interface '%s'" % (inname, interface)
[2a70672]	1081	else:
	1082	output += "%s" % token
	1083
	1084	context.remove(FIN)
	1085	context.remove(PROTOTYPE)
	1086	continue
	1087
	1088	if (PAR_RIGHT in context):
	1089	if (token == ")"):
	1090	output += "%s" % token
	1091	context.remove(PAR_RIGHT)
	1092	context.add(FIN)
	1093	else:
	1094	output += " %s" % token
	1095
	1096	continue
	1097
	1098	if (SIGNATURE in context):
	1099	output += "%s" % token
	1100	if (token == ")"):
	1101	context.remove(SIGNATURE)
	1102	context.add(FIN)
	1103
	1104	context.remove(SIGNATURE)
	1105	context.add(PAR_RIGHT)
	1106	continue
	1107
	1108	if (PAR_LEFT in context):
	1109	if (token != "("):
[ee5b35a]	1110	print "%s: Expected '(' in interface '%s'" % (inname, interface)
[2a70672]	1111	else:
	1112	output += "%s" % token
	1113
	1114	context.remove(PAR_LEFT)
	1115	context.add(SIGNATURE)
	1116	continue
	1117
	1118	if (not identifier(token)):
[ee5b35a]	1119	print "%s: Method identifier expected in interface '%s'" % (inname, interface)
[2a70672]	1120	else:
	1121	output += "%s" % token
	1122
	1123	context.add(PAR_LEFT)
	1124	continue
	1125
	1126	if (token == "}"):
[ee5b35a]	1127	if (indent != 2):
	1128	print "%s: Wrong number of parentheses in interface '%s'" % (inname, interface)
[2a70672]	1129	else:
	1130	indent = 0
	1131	output += "\n%s" % token
	1132
	1133	context.remove(BODY)
	1134	context.add(NULL)
	1135	continue
	1136
[ee5b35a]	1137	if ((token == "ipcarg_t") or (token == "unative_t")):
[2a70672]	1138	output += "\n%s%s " % (tabs(indent), token)
	1139	context.add(PROTOTYPE)
	1140	continue
	1141
	1142	if (token == "protocol:"):
	1143	output += "\n%s%s" % (tabs(indent - 1), token)
[ee5b35a]	1144	indent = 0
[2a70672]	1145	context.add(PROTOCOL)
	1146	protocol = ""
	1147	continue
	1148
[ee5b35a]	1149	print "%s: Unknown token '%s' in interface '%s'" % (inname, token, interface)
[2a70672]	1150	continue
	1151
	1152	if (HEAD in context):
[3037384]	1153	if (PRE_BODY in context):
	1154	if (token == "{"):
	1155	output += "%s" % token
	1156	indent += 2
	1157	context.remove(PRE_BODY)
	1158	context.remove(HEAD)
	1159	context.add(BODY)
	1160	continue
	1161
	1162	if (token == ";"):
	1163	output += "%s\n" % token
	1164	context.remove(PRE_BODY)
	1165	context.remove(HEAD)
	1166	context.remove(IFACE)
	1167	continue
	1168
	1169	print "%s: Expected '{' or ';' in interface head '%s'" % (inname, interface)
	1170	continue
	1171
	1172	if (EXTENDS in context):
	1173	if (not identifier(token)):
	1174	print "%s: Expected inherited interface name in interface head '%s'" % (inname, interface)
	1175	else:
[6d4c549]	1176	output += "%s " % token
[3037384]	1177	if (not interface in iface_properties):
	1178	iface_properties[interface] = {}
	1179
	1180	iface_properties[interface]['extends'] = token
	1181
	1182	context.remove(EXTENDS)
	1183	context.add(PRE_BODY)
	1184	continue
	1185
	1186	if (token == "extends"):
[6d4c549]	1187	output += "%s " % token
[3037384]	1188	context.add(EXTENDS)
	1189	continue
	1190
[2a70672]	1191	if (token == "{"):
	1192	output += "%s" % token
	1193	indent += 2
	1194	context.remove(HEAD)
	1195	context.add(BODY)
	1196	continue
	1197
	1198	if (token == ";"):
	1199	output += "%s\n" % token
	1200	context.remove(HEAD)
[57688fe2]	1201	context.remove(IFACE)
[2a70672]	1202	continue
	1203
[3037384]	1204	print "%s: Expected 'extends', '{' or ';' in interface head '%s'" % (inname, interface)
[2a70672]	1205	continue
	1206
	1207	if (not identifier(token)):
	1208	print "%s: Expected interface name" % inname
	1209	else:
	1210	interface = token
	1211	output += "%s " % token
[fed03a3]	1212
	1213	if (not interface in iface_properties):
	1214	iface_properties[interface] = {}
	1215
	1216	iface_properties[interface]['name'] = interface
[2a70672]	1217
	1218	context.add(HEAD)
	1219	continue
	1220
	1221	# "architecture"
	1222
	1223	if (ARCH in context):
	1224	if (NULL in context):
	1225	if (token != ";"):
[ee5b35a]	1226	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1227	else:
	1228	output += "%s\n" % token
	1229
	1230	context.remove(NULL)
	1231	context.remove(ARCH)
	1232	context.discard(SYSTEM)
	1233	architecture = None
	1234	continue
	1235
	1236	if (BODY in context):
[ee5b35a]	1237	if (DELEGATE in context):
	1238	if (FIN in context):
	1239	if (token != ";"):
	1240	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
	1241	else:
	1242	output += "%s" % token
	1243
	1244	context.remove(FIN)
	1245	context.remove(DELEGATE)
	1246	continue
	1247
	1248	if (VAR in context):
	1249	if (not descriptor(token)):
	1250	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
	1251	else:
[fed03a3]	1252	if (not architecture in arch_properties):
	1253	arch_properties[architecture] = {}
	1254
	1255	if (not 'delegate' in arch_properties[architecture]):
	1256	arch_properties[architecture]['delegate'] = []
	1257
	1258	arch_properties[architecture]['delegate'].append({'from': arg0, 'to': token.split(":")})
	1259	arg0 = None
	1260
[ee5b35a]	1261	output += "%s" % token
	1262
	1263	context.add(FIN)
	1264	context.remove(VAR)
	1265	continue
	1266
	1267	if (TO in context):
	1268	if (token != "to"):
	1269	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
	1270	else:
	1271	output += "%s " % token
	1272
	1273	context.add(VAR)
	1274	context.remove(TO)
	1275	continue
	1276
	1277	if (not identifier(token)):
	1278	print "%s: Expected interface name in architecture '%s'" % (inname, architecture)
	1279	else:
	1280	output += "%s " % token
[fed03a3]	1281	arg0 = token
[ee5b35a]	1282
	1283	context.add(TO)
	1284	continue
	1285
	1286	if (SUBSUME in context):
	1287	if (FIN in context):
	1288	if (token != ";"):
	1289	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
	1290	else:
	1291	output += "%s" % token
	1292
	1293	context.remove(FIN)
	1294	context.remove(SUBSUME)
	1295	continue
	1296
	1297	if (VAR in context):
	1298	if (not identifier(token)):
	1299	print "%s: Expected interface name in architecture '%s'" % (inname, architecture)
	1300	else:
[fed03a3]	1301	if (not architecture in arch_properties):
	1302	arch_properties[architecture] = {}
	1303
	1304	if (not 'subsume' in arch_properties[architecture]):
	1305	arch_properties[architecture]['subsume'] = []
	1306
	1307	arch_properties[architecture]['subsume'].append({'from': arg0.split(":"), 'to': token})
	1308	arg0 = None
	1309
[ee5b35a]	1310	output += "%s" % token
	1311
	1312	context.add(FIN)
	1313	context.remove(VAR)
	1314	continue
	1315
	1316	if (TO in context):
	1317	if (token != "to"):
	1318	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
	1319	else:
	1320	output += "%s " % token
	1321
	1322	context.add(VAR)
	1323	context.remove(TO)
	1324	continue
	1325
	1326	if (not descriptor(token)):
	1327	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
	1328	else:
	1329	output += "%s " % token
[fed03a3]	1330	arg0 = token
[ee5b35a]	1331
	1332	context.add(TO)
	1333	continue
	1334
[2a70672]	1335	if (BIND in context):
	1336	if (FIN in context):
	1337	if (token != ";"):
[ee5b35a]	1338	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1339	else:
	1340	output += "%s" % token
	1341
	1342	context.remove(FIN)
	1343	context.remove(BIND)
	1344	continue
	1345
	1346	if (VAR in context):
	1347	if (not descriptor(token)):
[ee5b35a]	1348	print "%s: Expected second interface descriptor in architecture '%s'" % (inname, architecture)
[2a70672]	1349	else:
[fed03a3]	1350	if (not architecture in arch_properties):
	1351	arch_properties[architecture] = {}
	1352
	1353	if (not 'bind' in arch_properties[architecture]):
	1354	arch_properties[architecture]['bind'] = []
	1355
	1356	arch_properties[architecture]['bind'].append({'from': arg0.split(":"), 'to': token.split(":")})
	1357	arg0 = None
	1358
[2a70672]	1359	output += "%s" % token
	1360
	1361	context.add(FIN)
	1362	context.remove(VAR)
	1363	continue
	1364
	1365	if (TO in context):
	1366	if (token != "to"):
[ee5b35a]	1367	print "%s: Expected 'to' in architecture '%s'" % (inname, architecture)
[2a70672]	1368	else:
	1369	output += "%s " % token
	1370
	1371	context.add(VAR)
	1372	context.remove(TO)
	1373	continue
	1374
	1375	if (not descriptor(token)):
[ee5b35a]	1376	print "%s: Expected interface descriptor in architecture '%s'" % (inname, architecture)
[2a70672]	1377	else:
	1378	output += "%s " % token
[fed03a3]	1379	arg0 = token
[2a70672]	1380
	1381	context.add(TO)
	1382	continue
	1383
	1384	if (INST in context):
	1385	if (FIN in context):
	1386	if (token != ";"):
[ee5b35a]	1387	print "%s: Expected ';' in architecture '%s'" % (inname, architecture)
[2a70672]	1388	else:
	1389	output += "%s" % token
	1390
	1391	context.remove(FIN)
	1392	context.remove(INST)
	1393	continue
	1394
	1395	if (VAR in context):
	1396	if (not identifier(token)):
[ee5b35a]	1397	print "%s: Expected instance name in architecture '%s'" % (inname, architecture)
[2a70672]	1398	else:
[fed03a3]	1399	if (not architecture in arch_properties):
	1400	arch_properties[architecture] = {}
	1401
	1402	if (not 'inst' in arch_properties[architecture]):
	1403	arch_properties[architecture]['inst'] = []
	1404
	1405	arch_properties[architecture]['inst'].append({'type': arg0, 'var': token})
	1406	arg0 = None
	1407
[2a70672]	1408	output += "%s" % token
	1409
	1410	context.add(FIN)
	1411	context.remove(VAR)
	1412	continue
	1413
	1414	if (not identifier(token)):
[ee5b35a]	1415	print "%s: Expected frame/architecture type in architecture '%s'" % (inname, architecture)
[2a70672]	1416	else:
	1417	output += "%s " % token
[fed03a3]	1418	arg0 = token
[2a70672]	1419
	1420	context.add(VAR)
	1421	continue
	1422
	1423	if (token == "}"):
	1424	if (indent != 1):
[ee5b35a]	1425	print "%s: Wrong number of parentheses in architecture '%s'" % (inname, architecture)
[2a70672]	1426	else:
	1427	indent -= 1
	1428	output += "\n%s" % token
	1429
	1430	context.remove(BODY)
	1431	context.add(NULL)
	1432	continue
	1433
	1434	if (token == "inst"):
	1435	output += "\n%s%s " % (tabs(indent), token)
	1436	context.add(INST)
	1437	continue
	1438
	1439	if (token == "bind"):
	1440	output += "\n%s%s " % (tabs(indent), token)
	1441	context.add(BIND)
	1442	continue
	1443
[ee5b35a]	1444	if (token == "subsume"):
	1445	output += "\n%s%s " % (tabs(indent), token)
	1446	context.add(SUBSUME)
	1447	continue
	1448
	1449	if (token == "delegate"):
	1450	output += "\n%s%s " % (tabs(indent), token)
	1451	context.add(DELEGATE)
	1452	continue
	1453
	1454	print "%s: Unknown token '%s' in architecture '%s'" % (inname, token, architecture)
[2a70672]	1455	continue
	1456
	1457	if (HEAD in context):
	1458	if (token == "{"):
	1459	output += "%s" % token
	1460	indent += 1
	1461	context.remove(HEAD)
	1462	context.add(BODY)
	1463	continue
	1464
	1465	if (token == ";"):
	1466	output += "%s\n" % token
	1467	context.remove(HEAD)
	1468	context.remove(ARCH)
	1469	context.discard(SYSTEM)
	1470	continue
	1471
	1472	if (not word(token)):
[ee5b35a]	1473	print "%s: Expected word in architecture head '%s'" % (inname, architecture)
[2a70672]	1474	else:
	1475	output += "%s " % token
	1476
	1477	continue
	1478
	1479	if (not identifier(token)):
	1480	print "%s: Expected architecture name" % inname
	1481	else:
	1482	architecture = token
	1483	output += "%s " % token
[fed03a3]	1484
	1485	if (not architecture in arch_properties):
	1486	arch_properties[architecture] = {}
	1487
	1488	arch_properties[architecture]['name'] = architecture
	1489
	1490	if (SYSTEM in context):
	1491	arch_properties[architecture]['system'] = True
[2a70672]	1492
	1493	context.add(HEAD)
	1494	continue
	1495
	1496	# "system architecture"
	1497
	1498	if (SYSTEM in context):
	1499	if (token != "architecture"):
[ee5b35a]	1500	print "%s: Expected 'architecture'" % inname
[2a70672]	1501	else:
	1502	output += "%s " % token
	1503
	1504	context.add(ARCH)
	1505	continue
	1506
[ee5b35a]	1507	if (token == "frame"):
	1508	output += "\n%s " % token
	1509	context.add(FRAME)
	1510	continue
	1511
[2a70672]	1512	if (token == "interface"):
	1513	output += "\n%s " % token
	1514	context.add(IFACE)
	1515	continue
	1516
	1517	if (token == "system"):
	1518	output += "\n%s " % token
	1519	context.add(SYSTEM)
	1520	continue
	1521
	1522	if (token == "architecture"):
	1523	output += "\n%s " % token
	1524	context.add(ARCH)
	1525	continue
	1526
[ee5b35a]	1527	print "%s: Unknown token '%s'" % (inname, token)
[1993f9a]	1528
	1529	inf.close()
[e742429]	1530
[ee5b35a]	1531	def open_adl(base, root, inname, outdir, outname):
[1993f9a]	1532	"Open Architecture Description file"
	1533
[ee5b35a]	1534	global output
	1535	global context
	1536	global architecture
	1537	global interface
	1538	global frame
	1539	global protocol
[6d4c549]	1540	global initialization
	1541	global finalization
[ee5b35a]	1542
[fed03a3]	1543	global arg0
	1544
[6d4c549]	1545	global opt_adl
	1546
[ee5b35a]	1547	output = ""
	1548	context = set()
[2a70672]	1549	architecture = None
[ee5b35a]	1550	interface = None
	1551	frame = None
[2a70672]	1552	protocol = None
[6d4c549]	1553	initialization = None
	1554	finalization = None
[fed03a3]	1555	arg0 = None
[1993f9a]	1556
[ee5b35a]	1557	parse_adl(base, root, inname, False, 0)
	1558	output = output.strip()
[1993f9a]	1559
[6d4c549]	1560	if ((output != "") and (opt_adl)):
[ee5b35a]	1561	outf = file(outname, "w")
	1562	outf.write(output)
	1563	outf.close()
[1993f9a]	1564
	1565	def recursion(base, root, output, level):
[e742429]	1566	"Recursive directory walk"
	1567
	1568	for name in os.listdir(root):
	1569	canon = os.path.join(root, name)
	1570
[1993f9a]	1571	if (os.path.isfile(canon)):
[e742429]	1572	fcomp = split_tokens(canon, ["."])
[1993f9a]	1573	cname = canon.split("/")
	1574
[2a70672]	1575	if (fcomp[-1] == ".adl"):
	1576	output_path = os.path.join(output, cname[-1])
[ee5b35a]	1577	open_adl(base, root, canon, output, output_path)
[e742429]	1578
	1579	if (os.path.isdir(canon)):
[1993f9a]	1580	recursion(base, canon, output, level + 1)
[e742429]	1581
	1582	def main():
[fed03a3]	1583	global iface_properties
	1584	global frame_properties
	1585	global arch_properties
[6d4c549]	1586	global opt_bp
[100aaf5]	1587	global opt_ebp
[6d4c549]	1588	global opt_adl
[ee5b35a]	1589
[6d4c549]	1590	if (len(sys.argv) < 3):
[e742429]	1591	usage(sys.argv[0])
	1592	return
	1593
[6d4c549]	1594	opt_bp = False
[100aaf5]	1595	opt_ebp = False
[6d4c549]	1596	opt_adl = False
	1597
	1598	for arg in sys.argv[1:(len(sys.argv) - 1)]:
[100aaf5]	1599	if (arg == "--bp"):
[6d4c549]	1600	opt_bp = True
[100aaf5]	1601	elif (arg == "--ebp"):
	1602	opt_ebp = True
	1603	elif (arg == "--adl"):
[6d4c549]	1604	opt_adl = True
[100aaf5]	1605	elif (arg == "--nop"):
[6d4c549]	1606	pass
	1607	else:
	1608	print "Error: Unknown command line option '%s'" % arg
	1609	return
	1610
[100aaf5]	1611	if ((opt_bp) and (opt_ebp)):
	1612	print "Error: Cannot dump both original Behavior Protocols and Extended Behavior Protocols"
	1613	return
	1614
[6d4c549]	1615	path = os.path.abspath(sys.argv[-1])
[07fdf203]	1616	if (not os.path.isdir(path)):
[1993f9a]	1617	print "Error: <OUTPUT> is not a directory"
[e742429]	1618	return
	1619
[fed03a3]	1620	iface_properties = {}
	1621	frame_properties = {}
	1622	arch_properties = {}
[ee5b35a]	1623
[1993f9a]	1624	recursion(".", ".", path, 0)
[57688fe2]	1625	dump_archbp(path)
[1993f9a]	1626
[e742429]	1627	if __name__ == '__main__':
	1628	main()

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

Download in other formats: