Context Navigation

source: mainline/contrib/arch/hadlbppp.py@ 458619f7

Visit:

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

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

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

Download in other formats: