#!/usr/bin/python

#  Author(s): Donald Miner <dminer@tresys.com>

#             Dave Sugar <dsugar@tresys.com>

#             Brian Williams <bwilliams@tresys.com>

#

# Copyright (C) 2003 - 2006 Tresys Technology, LLC

#      This program is free software; you can redistribute it and/or modify

#      it under the terms of the GNU General Public License as published by

#      the Free Software Foundation, version 2.

"""

	This script generates XML documentation information for layers specified

	by the user.

"""

import sys

import os

import glob

import re

# GLOBALS

# Default values of command line arguments:

warn = False

meta = "metadata"

third_party = "third-party"

layers = {}

tunable_files = []

bool_files = []

xml_tunable_files = []

xml_bool_files = []

output_dir = ""

# Pre compiled regular expressions:

# Matches either an interface or a template declaration. Will give the tuple:

#	("interface" or "template", name)

# Some examples:

#	"interface(`kernel_read_system_state',`"

#	 -> ("interface", "kernel_read_system_state")

#	"template(`base_user_template',`"

#	 -> ("template", "base_user_template")

INTERFACE = re.compile("^\s*(interface|template)\(`(\w*)'")

# Matches either a gen_bool or a gen_tunable statement. Will give the tuple:

#	("tunable" or "bool", name, "true" or "false")

# Some examples:

#	"gen_bool(secure_mode, false)"

#	 -> ("bool", "secure_mode", "false")

#	"gen_tunable(allow_kerberos, false)"

#	 -> ("tunable", "allow_kerberos", "false")

BOOLEAN = re.compile("^\s*gen_(tunable|bool)\(\s*(\w*)\s*,\s*(true|false)\s*\)")

# Matches a XML comment in the policy, which is defined as any line starting

#  with two # and at least one character of white space. Will give the single

#  valued tuple:

#	("comment")

# Some Examples:

#	"## <summary>"

#	 -> ("<summary>")

#	"##		The domain allowed access.	"

#	 -> ("The domain allowed access.")

XML_COMMENT = re.compile("^##\s+(.*?)\s*$")

# FUNCTIONS

def getModuleXML(file_name):

	'''

	Returns the XML data for a module in a list, one line per list item.

	'''

	# Try to open the file, if it cant, just ignore it.

	try:

		module_file = open(file_name, "r")

		module_code = module_file.readlines()

		module_file.close()

	except:

		warning("cannot open file %s for read, skipping" % file_name)

		return []

	module_buf = []

	# Infer the module name, which is the base of the file name.

	module_buf.append("<module name=\"%s\" filename=\"%s\">\n" 

		% (os.path.splitext(os.path.split(file_name)[-1])[0], file_name))

	temp_buf = []

	interface = None

	# finding_header is a flag to denote whether we are still looking

	#  for the XML documentation at the head of the file.

	finding_header = True

	# Get rid of whitespace at top of file

	while(module_code and module_code[0].isspace()):

		module_code = module_code[1:]

	# Go line by line and figure out what to do with it.

	line_num = 0

	for line in module_code:

		line_num += 1

		if finding_header:

			# If there is a XML comment, add it to the temp buffer.

			comment = XML_COMMENT.match(line)

			if comment:

				temp_buf.append(comment.group(1) + "\n")

				continue

			# Once a line that is not an XML comment is reached,

			#  either put the XML out to module buffer as the

			#  module's documentation, or attribute it to an

			#  interface/template.

			elif temp_buf:

				finding_header = False

				interface = INTERFACE.match(line)

				if not interface:

					module_buf += temp_buf

					temp_buf = []

					continue

		# Skip over empty lines

		if line.isspace():

			continue

		# Grab a comment and add it to the temprorary buffer, if it

		#  is there.

		comment = XML_COMMENT.match(line)

		if comment:

			temp_buf.append(comment.group(1) + "\n")

			continue

		# Grab the interface information. This is only not true when

		#  the interface is at the top of the file and there is no

		#  documentation for the module.

		if not interface:

			interface = INTERFACE.match(line)

		if interface:

			# Add the opening tag for the interface/template

			groups = interface.groups()

			module_buf.append("<%s name=\"%s\" lineno=\"%s\">\n" % (groups[0], groups[1], line_num))

			# Add all the comments attributed to this interface to

			#  the module buffer.

			if temp_buf:

				module_buf += temp_buf

				temp_buf = []

			# Add default summaries and parameters so that the

			#  DTD is happy.

			else:

				warning ("unable to find XML for %s %s()" % (groups[0], groups[1]))	

				module_buf.append("<summary>\n")

				module_buf.append("Summary is missing!\n")

				module_buf.append("</summary>\n")

				module_buf.append("<param name=\"?\">\n")

				module_buf.append("<summary>\n")

				module_buf.append("Parameter descriptions are missing!\n")

				module_buf.append("</summary>\n")

				module_buf.append("</param>\n")

			# Close the interface/template tag.

			module_buf.append("</%s>\n" % interface.group(1))

			interface = None

			continue

	# If the file just had a header, add the comments to the module buffer.

	if finding_header:

		module_buf += temp_buf

	# Otherwise there are some lingering XML comments at the bottom, warn

	#  the user.

	elif temp_buf:

		warning("orphan XML comments at bottom of file %s" % file_name)

	module_buf.append("</module>\n")

	return module_buf

def getLayerXML (layerName, directories):

	'''

	Returns the XML documentation for a layer.

	'''

	layer_buf = []

	# Infer the layer name from the directory name.

	layer_buf.append("<layer name=\"%s\">\n" % layerName)

	# Try to file the metadata file for this layer and if it exists,

	# append the contents to the buffer.

	bFoundMeta = False

	for directory in directories:

		metafile = directory + "/" + meta

		if not bFoundMeta and os.path.isfile (metafile):

			layer_meta = open (metafile, "r")

			layer_buf += layer_meta.readlines ()

			layer_meta.close()

			bFoundMeta = True

	# force the metadata for the third party layer

	if not bFoundMeta:

		if layerName == third_party:

			layer_buf.append ("<summary>This is all third-party generated modules.</summary>\n")

			bFoundMeta = True

	# didn't find meta data for this layer - oh well	

	if not bFoundMeta:

		layer_buf.append ("<summary>Summary is missing!.</summary>\n")

		warning ("unable to find %s for layer %s" % (meta, layerName))	

	# For each module file in the layer, add its XML.

	for directory in directories:

		for module in glob.glob("%s/*.if" % directory):

			layer_buf += getModuleXML(module)

	layer_buf.append("</layer>\n")

	return layer_buf

def getTunableXML(file_name, kind):

	'''

	Return all the XML for the tunables/bools in the file specified.

	'''

	# Try to open the file, if it cant, just ignore it.

	try:

		tunable_file = open(file_name, "r")

		tunable_code = tunable_file.readlines()

		tunable_file.close()

	except:

		warning("cannot open file %s for read, skipping" % file_name)

		return []

	tunable_buf = []

	temp_buf = []

	# Find tunables and booleans line by line and use the comments above

	# them.

	for line in tunable_code:

		# If it is an XML comment, add it to the buffer and go on.

		comment = XML_COMMENT.match(line)

		if comment:

			temp_buf.append(comment.group(1) + "\n")

			continue

		# Get the boolean/tunable data.

		boolean = BOOLEAN.match(line)

		# If we reach a boolean/tunable declaration, attribute all XML

		#  in the temp buffer to it and add XML to the tunable buffer.

		if boolean:

			# If there is a gen_bool in a tunable file or a

			# gen_tunable in a boolean file, error and exit.

			if boolean.group(1) != kind:

				error("%s in a %s file." % (boolean.group(1), kind))

			tunable_buf.append("<%s name=\"%s\" dftval=\"%s\">\n" % boolean.groups())

			tunable_buf += temp_buf

			temp_buf = []

			tunable_buf.append("</%s>\n" % boolean.group(1))

	# If there are XML comments at the end of the file, they arn't

	# attributed to anything. These are ignored.

	if len(temp_buf):

		warning("orphan XML comments at bottom of file %s" % file_name)

	# If the caller requested a the global_tunables and global_booleans to be

	# output to a file output them now

	if len(output_dir) > 0:

		xmlfile = os.path.split(file_name)[1] + ".xml"

		try:

			xml_outfile = open(output_dir + "/" + xmlfile, "w")

			for tunable_line in tunable_buf:

				xml_outfile.write (tunable_line)

			xml_outfile.close()

		except:

			warning ("cannot write to file %s, skipping creation" % xmlfile)

	return tunable_buf

def getXMLFileContents (file_name):

	'''

	Return all the XML in the file specified.

	'''

	tunable_buf = []

	# Try to open the xml file for this type of file

	# append the contents to the buffer.

	try:

		tunable_xml = open(file_name, "r")

		tunable_buf += tunable_xml.readlines()

		tunable_xml.close()

	except:

		warning("cannot open file %s for read, assuming no data" % file_name)

	return tunable_buf

def getPolicyXML():

	'''

	Return the compelete reference policy XML documentation through a list,

	one line per item.

	'''

	policy_buf = []

	policy_buf.append("<policy>\n")

	# Add to the XML each layer specified by the user.

	for layer in layers.keys ():

		policy_buf += getLayerXML(layer, layers[layer])

	# Add to the XML each tunable file specified by the user.

	for tunable_file in tunable_files:

		policy_buf += getTunableXML(tunable_file, "tunable")

	# Add to the XML each XML tunable file specified by the user.

	for tunable_file in xml_tunable_files:

		policy_buf += getXMLFileContents (tunable_file)

	# Add to the XML each bool file specified by the user.

	for bool_file in bool_files:

		policy_buf += getTunableXML(bool_file, "bool")

	# Add to the XML each XML bool file specified by the user.

	for bool_file in xml_bool_files:

		policy_buf += getXMLFileContents (bool_file)

	policy_buf.append("</policy>\n")

	return policy_buf

def usage():

	"""

	Displays a message describing the proper usage of this script.

	"""

	sys.stdout.write("usage: %s [-w] [-m file] "\

		% sys.argv[0])

	sys.stdout.write("layerdirectory [layerdirectory...]\n\n")

	sys.stdout.write("Options:\n")

	sys.stdout.write ("-h --help                      -- "+\

				"show command line options\n")

	sys.stdout.write("-w --warn                      -- "+\

				"show warnings\n")

	sys.stdout.write("-m --meta <file>               -- "+\

				"the filename of the metadata in each layer\n")

	sys.stdout.write("-t --tunable <file>            -- "+\

				"A file containing tunable declarations\n")

	sys.stdout.write("-b --bool <file>               -- "+\

				"A file containing bool declarations\n")

	sys.stdout.write("-o --output-dir <directory>    -- "+\

				"A directory to output global_tunables.xml and global_booleans.xml\n")

	sys.stdout.write("--tunables-xml <file>          -- "+\

				"A file containing tunable declarations already in XML format\n")

	sys.stdout.write("--booleans-xml <file>          -- "+\

				"A file containing bool declarations already in XML format\n")

	sys.stdout.write ("-3 --third-party <directory>   -- "+\

				"Look for 3rd Party modules in directory.\n")

def warning(description):

	'''

	Warns the user of a non-critical error.

	'''

	if warn:

		sys.stderr.write("%s: " % sys.argv[0] )

		sys.stderr.write("warning: " + description + "\n")

def error(description):

	'''

	Describes an error and exists the program.

	'''

	sys.stderr.write("%s: " % sys.argv[0] )

        sys.stderr.write("error: " + description + "\n")

        sys.stderr.flush()

        sys.exit(1)

# MAIN PROGRAM

# Check that there are command line arguments.

if len(sys.argv) <= 1:

	usage()

	sys.exit(1)

# Parse the command line arguments

for i in range(1, len(sys.argv)):

	if sys.argv[i-1] in ("-m", "--meta",\

					"-t", "--tunable", "-b", "--bool",\

					"-o", "--output-dir", "-3", "--third-party", \

					"--tunables-xml", "--booleans-xml"):

		continue

	elif sys.argv[i] in ("-w", "--warn"):

		warn = True

	elif sys.argv[i] in ("-m", "--meta"):

		if i < len(sys.argv)-1:

			meta = sys.argv[i+1]

		else:

			usage()

	elif sys.argv[i] in ("-t", "--tunable"):

		if i < len(sys.argv)-1:

			tunable_files.append(sys.argv[i+1])

		else:

			usage()

	elif sys.argv[i] in ("-b", "--bool"):

		if i < len(sys.argv)-1:

			bool_files.append(sys.argv[i+1])

		else:

			usage()

	elif sys.argv[i] == "--tunables-xml":

		if i < len(sys.argv)-1:

			xml_bool_files.append (sys.argv[i+1])

		else:

			usage ()

	elif sys.argv[i] == "--booleans-xml":

		if i < len(sys.argv)-1:

			xml_tunable_files.append (sys.argv[i+1])

		else:

			usage ()

	elif sys.argv[i] in ("-o", "--output-dir"):

		if i < len(sys.argv)-1:

			output_dir = sys.argv[i+1]

		else:

			usage ()

	elif sys.argv[i] in ("-3", "--third-party"):

		if i < len(sys.argv) -1:

			if layers.has_key (third_party):

				layers[third_party].append (sys.argv[i+1])

			else:

				layers[third_party] = [sys.argv[i+1]]

		else:

			usage ()

	elif sys.argv[i] in ("-h", "--help"):

		usage ()

		sys.exit (1)

	else:

		# store directories in hash stored by layer name

		splitlayer = os.path.split(sys.argv[i])

		if layers.has_key (splitlayer[1]):

			layers[splitlayer[1]].append (sys.argv[i])

		else:

			layers[splitlayer[1]] = [sys.argv[i]]

# Generate the XML and output it to a file

lines = getPolicyXML()

for s in lines:

	sys.stdout.write(s)