note
description: "Top-level annotation of a class' feature."
author: ""
date: "$Date$"
revision: "$Revision$"

class SSAIFIER

inherit
  SSA_SHARED

create
  make

feature
  make (a_class: CLASS_C; a_name: STRING)
    -- Process the feature `a_name' from the class `a_class'.
    require
      non_void_class: attached a_class
    local
      ssa_printer: SSA_PRINTER
      dummy: SSA_EXTRACT_PRECOND_STATE
    do
      set_class (a_class)

      if attached a_class.feature_named_32 (a_name) as feat then
        set_feature (feat)
      else
        io.put_string ("Feature " + a_name + " not found in " + a_class.name)
        io.new_line
        check False end
      end
      
      create ssa_printer.make_for_ssa

      ssa_printer.process
      print ("Expanded Class:%N")
      print (ssa_printer.text)
		end

	write_default_instrumented
		do
			write_instrumented_file (create {FILE_NAME}.make_from_string (class_c.name + ".plan.lisp"))
		end

	write_instrumented_file (file_name: FILE_NAME)
		local
			file: PLAIN_TEXT_FILE
			c2d: CLASS_TO_DOMAIN
			p: PRINTER
		do
			create file.make (file_name.string)
			create c2d.make (class_c.ast)
			create p.make

			c2d.process_ast_node (class_c.ast)
			c2d.domain.to_printer (p)

			file.create_read_write
			file.put_string (p.context)
			file.close
		end

end