tla-sbuilder 0.3.4 → 0.3.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 13bb5aca53c85d8ae5b3943c8c37c23f745adc00
-  data.tar.gz: 5f22e716073199acd62eef8f1477b2562727374c
+  metadata.gz: da5bfdebad06728053bd1d9be7b5fb8bc6bf4d5f
+  data.tar.gz: 1ac862f608a98cb6ae42e973ad9f9ca22e7c0cb2
 SHA512:
-  metadata.gz: 2686dae3b6360eeafa1d6f71639515f718c0f45bd43067010ea740391ab3338e5086d51f24d7d4929c7ed8499b94d3f2967ecd69b855d24f90dc935e121d3fd3
-  data.tar.gz: 9412ebeb149ca0357e0340cdadc00c7b1d55df6778764464a880274b13f1759f79c47a86c18b13162eab0a0fe4bf59ce6cd661ca63ba87048e742e1b11a5acd9
+  metadata.gz: f511f243f72f46b30cd191ad984ef858f6a62317c81fe98f05d8c97784481c707b72e1f1f06539b56e8a19784f5e75bc88641cdf63bfd44a052aba623c852011
+  data.tar.gz: c2844d67ae0c95aa6668abf2e52bd45f84a5edbad182faef7b5493461257d6c95fa944c80b8c53e77d5ab76174ba1023c09cde671ca59df6e407b973f9973f7c

data/README.md

@@ -1,7 +1,7 @@
 <link href="../site.css" rel="stylesheet"></link>
 [Readme](README.md) [Releases](RELEASES.md)
 
-# Sbuilder - A Specification Builder for TLA+ Tools - $Release:0.3.4$
+# Sbuilder - A Specification Builder for TLA+ Tools - $Release:0.3.7$
 
 A tool to generate runnable formal models in
 [TLA+ language](http://research.microsoft.com/en-us/um/people/lamport/tla/book.html)
@@ -64,21 +64,16 @@ model:
 	  * **operator**: TLA+ language constructs, which enable "to define all
 		 the data structures and operations that occur in the specification"
 
-	  * **transaction**: pseudo code implementation of common behavior in
-		 modifying system state
+	  * **procedures**: implementation of target system application *services* as TLA
+	   [PlusCal](http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html)
+	   procedures in TLA+ language
 
-	  * **service**: pseudo code implementation of target system
-	   *application services* using PlusCal procedures in TLA+ language
+	  * **macros**: TLA PlusCal implementation of common behavior, for
+		 example to modify system state
 
-	  * **infrastructure**: pseudo code implementation of target system
-		*infrastructure services* using PlusCal procedures in TLA+ language
-
-	  * **interface**: implementation of *application interface* extension
-		  points using PlusCal macros in TLA+ language
-
-	  * **correctness**: operator definitions, and INVARIANT directives in
-		TLA+ language specifying properties, which must be not violated in
-		specification executions
+	  * **invariant**: operator definitions, and INVARIANT directives
+		in TLA+ language specifying properties, which must be not
+		violated in specification executions
 
 	  * **possibility**: optional operator definitions to increase
 		confidence in correctness invariants
@@ -103,7 +98,7 @@ blueprints* are html-pages including code snippets from Sbuilder *code
 repository*, or code generated based on *interface specifications*.
 
 
-## Two Operating Modes
+## <a id="OPERATING-MODES">Two Operating Modes</a>
 
 Sbuilder supports two operating modes:
 
@@ -123,6 +118,8 @@ better understanding, 2) to get the design right, 3) and to write
 better code for the system being
 built. [more details](MODELING-PIPELINE.md)
 
+See [sbuilder-example](https://github.com/jarjuk/sbuilder-example) for
+a toy example of using sbuilder in *Modeling Pipeline* mode.
 
 
 ### <a id="EMBEDDED-MODE">Embedded Mode</a>
@@ -135,11 +132,12 @@ complexities in creating a formal model, Sbuilder can be embedded into
 a framework, and to use implementation code in creating formal model
 of the application.
 
-An example of embedded sbuilder is
+An example of embedded sbuilder is in
 [sbuilder-ethereum](https://github.com/jarjuk/sbuilder-ethereum).
 
 
 
+
 ## <a id="USAGE">Usage</a>
 
 ### Pre-requisites
@@ -151,6 +149,11 @@ have Java and
 [TLA+ Tools](http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html)
 installed.
 
+TLA+ Tools jar can be obtained from
+[download page](https://tla.msr-inria.inria.fr/tlatoolbox/dist), see
+[TLA+ Tools](http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html)
+for more instructions on installation.
+
 
 ### Installation
 
@@ -166,12 +169,7 @@ and run
 
 	bundle install
 
-TLA+ Tools jar can be obtained from
-[download page](https://tla.msr-inria.inria.fr/tlatoolbox/dist), see
-[TLA+ Tools](http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html)
-for more instructions on installation.
-
-### To Use Pet Store Example Application
+### <a id="PET-STORE-EXAMPLE">To Use Pet Store Example Application</a>
 
 Create default directories used by `sbuilder` in current working directory
 
@@ -235,7 +233,7 @@ The **possibility** to reach this state can be demonstrated running
 and observing **Error: Evaluating invariant** `possible_tag_with_invalid_address` **failed.**
 
 
-### Create Own Model
+### <a id="CREATE-OWN-MODEL">Create Own Model</a>
 
 See [on-line documentation](http://jarjuk.github.io/tla-sbuilder.html)
 for more details.
@@ -266,18 +264,39 @@ To run the model checking for setup `default` using TLA+tools jar in
 
 
 Create TLA snippets in directory `src`, and include template snippets
-to generated code using
-[mustache syntax](https://mustache.github.io/mustache.5.html).
-
-For example, put the following code to 
+into Sbuilder context using Snippet Loader plugin
+`Sbuilder::SnippetLoaderSimple`. 
 
-	at_least_two_tags == Cardinality( v_tags ) > 1
 
-file `src/operator_at_least_two_tags.tla`, and include it to
-specification code by adding following line into `src/operator`
+For example, put the following code into file `src/operator_at_least_two_tags.tla`
 
-	{{>operator_at_least_two_tags.tla}}
+	at_least_two_tags == Cardinality( v_tags ) > 1
 
+and add configuration in `snippets` section in `cnf/sbuilder.yaml`,
+which gives the class name of the plugin to use
+(`Sbuilder::SnippetLoaderSimple`), defines metatype (`framework-svc`),
+application name (`at_least_two_tags`), and filename of the snippet in
+default `src` -directory (`operator_at_least_two_tags.tla`). The use
+of metatype allows single appName to mapped to several unique
+specNames by adding a metatype specific prefix to the appName. In this
+example, `framework-svc` metatype adds empty prefix to appName.
+
+    snippets:
+      - className: Sbuilder::SnippetLoaderSimple 
+        snippets:
+            
+          - metatype: framework-svc
+            appName: at_least_two_tags
+            file: operator_at_least_two_tags.tla
+
+
+Run `bundle exec sbuilder.rb generate`, and observe that
+`at_least_two_tags` operator, indeed, is included into generated
+formal model e.g. in file `gen/customer1/tla/model.tla`:
+
+	(* SNIPPET: framework-svc/at_least_two_tags --> at_least_two_tags *)
+	at_least_two_tags == Cardinality( v_tags ) > 1
+	(* --END OF SNIPPET-- *)
 
 ## Manage State Space Explosion, and Allow Scaling
 
@@ -313,6 +332,16 @@ option `--filter-list` to continue after parser error, and to
 configure manually modules call flow analyzer would otherwise omit
 from the specification code.
 
+## <a id="CONFIGURATION">Configuration</a>
+
+### <a id="SBUILDER-YAML">Main configuration file sbuilder.yaml</a>
+
+TBD
+
+### <a id="SETUP-CONF">Setups modeling environment</a>
+
+TBD
+
 ## Extending Sbuilder
 
 ### <a id="API_LOADER">API Loader Extension Point</a>
@@ -390,46 +419,12 @@ For a plugin implementation, see an SnippetLoaderSimple example
 
 * [rpsec test](spec/sbuilder/snippet_loader_simple_spec.rb)
 
+*Snippet loader plugins* are activated in the same way as *API loader
+ plugins* using a configuration in `extend.loaders` -section in
+ `cnf/sbuilder.yaml`
 
-For example, to activate `Sbuilder::Ethereum::Plugin` in
-[sbuilder-ethereum](https://github.com/jarjuk/sbuilder-ethereum) GEM,
-and to create a object instance with the name `solcLoader` use YAML
-configuration in `sbuilder.yaml` section `extend.loaders`:
-
-	extend:
-	  loaders:
-	  - className: Sbuilder::Ethereum::Plugin
-		gem: sbuilder-ethereum
-		configuration:
-		  solc_command: "/home/jj/work/sbuilder-ethereum/bin/solc"
-		objects:
-		- objectName: solcLoader
-		  configuration:
-			preferences:
-			  tla-trace: false
-
-In this example, class method `Sbuilder::Ethereum::Plugin.configure`
-accepts a setting `solc_command`, object method
-`Sbuilder::Ethereum::Plugin#configure` accepts `preferences` hash with
-a property `tla-trace`. See documentation for
-[sbuilder-ethereum](https://github.com/jarjuk/sbuilder-ethereum) GEM
-for more details on these settings.
-
-Plugin `Sbuilder::Ethereum::Plugin` hooks to *API Loader Extension
-Point* and to *Snippet Loader Extension Point*. Loading over these
-extensions points is activated using the following `sbuilder.yaml`
-configuration in `interfaces` and `snippets` -sections:
-
-	interfaces:
-	- objectName: solcLoader
-	  url:
-	  - solidity/demo1.sol
-	snippets:
-	- objectName: solcLoader
-	  snippets: 
-
-Notice, how this YAML snippet uses object instance name `objectName:
-solcLoader` defined in `extend.loaders` -section above.
+An example of using *Snippet Loader Plugin* was presented
+[earlier](#CREATE-OWN-MODEL) in this [README](README.md).
 
 ## License 
 

data/VERSION

@@ -1 +1 @@
-0.3.4
+0.3.7

data/lib/sbuilder/constants.rb

@@ -166,8 +166,8 @@ module Sbuilder
 
     BASE_EXTENSIONS_DOMAIN = [
       {
-        'domain' => "BOOLEAN",
-        'type' => 'BOOLEAN',
+        'domain' => Sbuilder::FacadeConstants::DOMAIN_BOOLEAN,  # "BOOLEAN",
+        'type' => Sbuilder::FacadeConstants::DOMAIN_BOOLEAN, # 'BOOLEAN',
       }
     ]
     
@@ -213,8 +213,8 @@ module Sbuilder
         :allowed => %w( implementation completion ),
       },
       :snippet_loader_instantiate => {
-        :required => %w( snippets ),
-        :allowed => %w( className objectName configuration ),
+        :required => %w( ),
+        :allowed => %w( className objectName configuration snippets ),
         :one_of => %w( className objectName ),
       },
       :api_loader_instantiate => {

data/lib/sbuilder/controller.rb

@@ -357,7 +357,7 @@ module Sbuilder
         begin
           Utils::Validate.validateProperties( interfaceParamsetDef, Constants::VALIDATION[:api_loader_instantiate][:required], Constants::VALIDATION[:api_loader_instantiate][:allowed] )
           Utils::Validate.oneOf( interfaceParamsetDef, Constants::VALIDATION[:api_loader_instantiate][:one_of_class_or_object] )
-          Utils::Validate.oneOf( interfaceParamsetDef, Constants::VALIDATION[:api_loader_instantiate][:one_of_file_or_url] )          
+          # Utils::Validate.oneOf( interfaceParamsetDef, Constants::VALIDATION[:api_loader_instantiate][:one_of_file_or_url] )          
           
           # validateProperties( interfaceParamsetDef, @@interfaceLoaderDef_required, @@interfaceLoaderDef_allowed )
           # validateOne( interfaceParamsetDef, @@interfaceLoaderDef_oneof )
@@ -448,7 +448,12 @@ module Sbuilder
     # @todo move implementation extension to model construct phase and
     # initalize symbol table herre
     def load
-      @logger.info( "#{__method__} load started" )      
+      @logger.info( "#{__method__} load started" )
+
+      # create sbuilder (e.g. domain BOOLEAN) + application model
+      # extension (literals identified in application)
+      baseExtensionDefine
+
       loadResolvers( getResolversConfig )
       loadInterfaces( getInterfaceConfig   )
       loadInvariants( getInvariantConfig )
@@ -456,11 +461,6 @@ module Sbuilder
       # extract static partial calls in mustache templates into an array
       resolveExtensionPartials
 
-      # create sbuilder (e.g. domain BOOLEAN) + application model
-      # extension (literals identified in application)
-      
-      baseExtensionDefine
-      
       # create domain model i.e. resolve domains
       resolve
 
@@ -470,11 +470,12 @@ module Sbuilder
       # init symbol table with names in sbuilder & interface model
       initializeSymbolTable
 
-      # snippet load extension point
-      loadSnippets( getSnippetConfig )
+      # moved to processSetup
+      # # snippet load extension point
+      # loadSnippets( getSnippetConfig )
 
-      # topological sort 
-      sortPartials
+      # # topological sort 
+      # sortPartials
       
     end
 
@@ -547,10 +548,15 @@ module Sbuilder
       end
     end
 
+    # @see {.baseMetatypes}
+    def baseMetatypes
+      self.class.baseMetatypes
+    end
+
     # @return [Hash:Array] baseMetatype definitions
     # @option baseMetatype [Symbol] :name
     # @option baseMetatype [Symbol] :desc    
-    def baseMetatypes
+    def self.baseMetatypes
       Sbuilder::Constants::META_MODEL
     end
 
@@ -955,6 +961,13 @@ module Sbuilder
       # extensions
       loadExtensions( setupName )
 
+      # snippet load extension point
+      loadSnippets( getSnippetConfig )
+
+      # topological sort 
+      sortPartials
+
+
       # DEPREACTED # initializeSymbolTable called after extension load
       # (but before generation) because 'interface-extension' sets
       # META_MODEL_SERVICE_IMPLEMENTATION
@@ -1095,6 +1108,25 @@ module Sbuilder
     # 
     def generateTemplate( setupName, outputPath, fileHandle, generateDef, mustache )
 
+      str = generateTemplateString( setupName, outputPath, generateDef, mustache )
+      
+      # output to file
+      fileHandle.puts str
+      
+    end
+
+    ##
+    # Create string to output in {#generateTemplate}.
+    #
+    # @param outputPath [String] see {#generateTemplate}
+    #
+    #
+    # @param mustache [Sbuilder::Template] see {#generateTemplate}
+    # 
+    # @param generateDef [Hash] see {#generateTemplate}
+    # 
+    def generateTemplateString( setupName, outputPath, generateDef, mustache )
+
       # validate configuration
       validateProperties( generateDef, @@validGenerateDef_required, @@validGenerateDef_allowed )
 
@@ -1106,74 +1138,74 @@ module Sbuilder
       # # Iterate each 'template' in one 'generateDef' array (most often just one template)
       # templates = generateDef['template'].is_a?( Array ) ? generateDef['template'] : [ generateDef['template'] ]
       template = getGenerateTemplate( generateDef )
-      # @todo: remove array
-      templates = [template]
 
       # Support template paramaters
       templateParameters = generateDef['templateParameters'].nil? ? {} : generateDef['templateParameters']
       
       # optional parameters added in generate -section
       renderData['PARAMETERS'] = templateParameters
+      
+      renderData['CONFIG'] = @opts
 
-      # META-data added to data to render
-      templates.each do |template|
-
-        renderData['CONFIG'] = @opts
-
-        renderData['META'] =
-          {
-            :desc => generateDef['desc'],
-            :modelData => generateDef['modelData'],
-            :template => template,
-            :version => Sbuilder::version,
-            :model_version => Sbuilder::model_version,            
-            :timestamp => Time.new.strftime( "%Y-%m-%d %H:%M:%S" ),
-            :setup => setupName,
-            :outputDirectory => File.dirname( outputPath ),            
-            :outputFile => File.basename( outputPath ),
-            :outputModule => File.basename( outputPath, ".*" ),
-          }
-
-        renderData['ACTIONS'] = {
-          :cat => lambda do |path_template|
-            path = mustache.render_str( path_template, renderData )
-            File.readlines( path.strip ).join('')
-          end,
-          :dump_partials => lambda do |partial_type|
-            partialNames = partials[partial_type] || []
-            "#{partial_type} --> #{partialNames.join( ',' )}"
-          end,
+      renderData['META'] =
+        {
+          :desc => generateDef['desc'],
+          :modelData => generateDef['modelData'],
+          :template => template,
+          :version => Sbuilder::version,
+          :model_version => Sbuilder::model_version,            
+          :timestamp => Time.new.strftime( "%Y-%m-%d %H:%M:%S" ),
+          :setup => setupName,
+          :outputDirectory => File.dirname( outputPath ),            
+          :outputFile => File.basename( outputPath ),
+          :outputModule => File.basename( outputPath, ".*" ),
         }
 
-        # specName <- SPEC_NAME( metatype, appName ) 
-        renderData['SPEC_NAME'] = lambda do |type_appName|
-            key = mustache.render_str( type_appName, renderData )
-            keys = key.split( '.' )
-            begin 
-              ret = getSymbolTable.lookupSymbol(keys[1], keys[0] )
-            rescue Exception => ee
-              msg =<<-EOS
+      renderData['ACTIONS'] = {
+        :cat => lambda do |path_template|
+          path = mustache.render_str( path_template, renderData )
+          File.readlines( path.strip ).join('')
+        end,
+        :dump_partials => lambda do |partial_type|
+          partialNames = partials[partial_type] || []
+          "#{partial_type} --> #{partialNames.join( ',' )}"
+        end,
+      }
+
+      # specName <- SPEC_NAME( metatype, appName ) 
+      renderData['SPEC_NAME'] = lambda do |type_appName|
+        key = mustache.render_str( type_appName, renderData )
+        keys = key.split( '.' )
+        begin
+          return key if ( keys.length == 1 ) # just a name
+          ret = getSymbolTable.lookupSymbol(keys[1], keys[0] )
+        rescue Exception => ee
+          msg =<<-EOS
               Error 
 
                    #{ee} 
               when accessing symbol table using key #{type_appName}
           
               EOS
-              @logger.error( "#{__method__} #{msg}" )        
-              raise ControllerException.new,  msg, ee.backtrace
-            end
-            ret
+          @logger.error( "#{__method__} #{msg}" )        
+          raise ControllerException.new,  msg, ee.backtrace
         end
-        
+        ret
+      end
 
-        # support 'PREFERENCES'
-        renderData.merge!( getSetupPREFERENCES(setupName) )
+      # snippetEntry['PARAM_SET_FIELD_DOMAIN_INIT'] = lambda do |accesKey|
+      #   raise "herer #{accessKey}"
+      # end
+      
 
-        # finally render i.e. create string to output
-        begin
-          str = mustache.to_str( template, renderData )
-        rescue Exception => ee
-          msg =<<-EOS
+      # support 'PREFERENCES'
+      renderData.merge!( getSetupPREFERENCES(setupName) )
+
+      # finally render i.e. create string to output
+      begin
+        str = mustache.to_str( template, renderData )
+      rescue Exception => ee
+        msg =<<-EOS
           Error
 
           #{ee} 
@@ -1183,19 +1215,126 @@ module Sbuilder
           #{renderData.to_yaml}
           
           EOS
-          @logger.error( "#{__method__} #{msg}" )        
-          raise ControllerException.new,  msg, ee.backtrace
-        end
+        @logger.error( "#{__method__} #{msg}" )        
+        raise ControllerException.new,  msg, ee.backtrace
+      end
+
+      # Log (a little bit too early :(
+      @logger.info( "#{__method__} templateName=#{template}" )
+      output( 3, "    ---> #{generateDef['desc']} (#{template})" )
+      
+      # return rendersed string
+      str
+
+    end
+    
+
+    # def generateTemplate( setupName, outputPath, fileHandle, generateDef, mustache )
+
+    #   # validate configuration
+    #   validateProperties( generateDef, @@validGenerateDef_required, @@validGenerateDef_allowed )
+
+    #   # access data to output - and filter it
+    #   renderData = templateData( generateDef['modelData'] )
+    #   # e.g. prune interfaces not used in setup
+    #   renderData = setupFilter( generateDef['modelData'], renderData )
+      
+    #   # # Iterate each 'template' in one 'generateDef' array (most often just one template)
+    #   # templates = generateDef['template'].is_a?( Array ) ? generateDef['template'] : [ generateDef['template'] ]
+    #   template = getGenerateTemplate( generateDef )
+    #   # @todo: remove array
+    #   templates = [template]
+
+    #   # Support template paramaters
+    #   templateParameters = generateDef['templateParameters'].nil? ? {} : generateDef['templateParameters']
+      
+    #   # optional parameters added in generate -section
+    #   renderData['PARAMETERS'] = templateParameters
+
+    #   # META-data added to data to render
+    #   templates.each do |template|
+
+    #     renderData['CONFIG'] = @opts
+
+    #     renderData['META'] =
+    #       {
+    #         :desc => generateDef['desc'],
+    #         :modelData => generateDef['modelData'],
+    #         :template => template,
+    #         :version => Sbuilder::version,
+    #         :model_version => Sbuilder::model_version,            
+    #         :timestamp => Time.new.strftime( "%Y-%m-%d %H:%M:%S" ),
+    #         :setup => setupName,
+    #         :outputDirectory => File.dirname( outputPath ),            
+    #         :outputFile => File.basename( outputPath ),
+    #         :outputModule => File.basename( outputPath, ".*" ),
+    #       }
+
+    #     renderData['ACTIONS'] = {
+    #       :cat => lambda do |path_template|
+    #         path = mustache.render_str( path_template, renderData )
+    #         File.readlines( path.strip ).join('')
+    #       end,
+    #       :dump_partials => lambda do |partial_type|
+    #         partialNames = partials[partial_type] || []
+    #         "#{partial_type} --> #{partialNames.join( ',' )}"
+    #       end,
+    #     }
+
+    #     # specName <- SPEC_NAME( metatype, appName ) 
+    #     renderData['SPEC_NAME'] = lambda do |type_appName|
+    #         key = mustache.render_str( type_appName, renderData )
+    #         keys = key.split( '.' )
+    #         begin 
+    #           ret = getSymbolTable.lookupSymbol(keys[1], keys[0] )
+    #         rescue Exception => ee
+    #           msg =<<-EOS
+    #           Error 
+
+    #                #{ee} 
+    #           when accessing symbol table using key #{type_appName}
           
+    #           EOS
+    #           @logger.error( "#{__method__} #{msg}" )        
+    #           raise ControllerException.new,  msg, ee.backtrace
+    #         end
+    #         ret
+    #     end
         
-        # output to file
-        @logger.info( "#{__method__} templateName=#{template}" )
-        output( 3, "    ---> #{generateDef['desc']} (#{template})" )
-        fileHandle.puts str
+
+    #     # support 'PREFERENCES'
+    #     renderData.merge!( getSetupPREFERENCES(setupName) )
+
+    #     # finally render i.e. create string to output
+    #     begin
+    #       str = mustache.to_str( template, renderData )
+    #     rescue Exception => ee
+    #       msg =<<-EOS
+    #       Error
+
+    #       #{ee} 
+
+    #       when rendering template '#{template} using data
+          
+    #       #{renderData.to_yaml}
+          
+    #       EOS
+    #       @logger.error( "#{__method__} #{msg}" )        
+    #       raise ControllerException.new,  msg, ee.backtrace
+    #     end
+          
         
-      end # templates.each
+    #     # output to file
+    #     @logger.info( "#{__method__} templateName=#{template}" )
+    #     output( 3, "    ---> #{generateDef['desc']} (#{template})" )
+    #     fileHandle.puts str
+        
+    #   end # templates.each
+
+    # end
+
+    
 
-    end
     
 
 
@@ -1374,16 +1513,26 @@ module Sbuilder
 
       return @controller_config if @controller_config
       
-      @logger.info( "#{__method__} loading config from #{getConfigFilePath}" )
-      yaml_lines = Sbuilder::Utils::NetIo.read_lines( getConfigFilePath )
-      @controller_config = YAML.load( yaml_lines )
+      # @logger.info( "#{__method__} loading config from #{getConfigFilePath}" )
+      # yaml_lines = Sbuilder::Utils::NetIo.read_lines( getConfigFilePath )
+      # @controller_config = YAML.load( yaml_lines )
+      @controller_config = getConfigSbuilder()
       # allow empty generate section
       @controller_config = {} if @controller_config.nil?
       @controller_config['generate'] = [] unless @controller_config['generate']
       @logger.debug( "#{__method__} config in #{getConfigFilePath} controller_config= #{@controller_config.to_yaml}" )
 
       yaml_lines = Sbuilder::Utils::NetIo.read_lines( getInternalConfigFilePath )
-      internal_config = YAML.load( yaml_lines )
+      begin
+        internal_config = YAML.load( yaml_lines )
+      rescue Exception => e
+        msg = <<-EOS
+        #{e}
+        Error encountred, when parsing yaml #{yaml_lines}
+        EOS
+        @logger.error( "#{__method__}: #{msg}" )                    
+        raise ControllerException.new,  msg, e.backtrace
+      end
       internal_config['generate'] = [] unless internal_config['generate']
       @logger.debug( "#{__method__} internal_config= #{internal_config.to_yaml}" )      
 
@@ -1394,6 +1543,13 @@ module Sbuilder
       @controller_config
     end
 
+    # @return [Hash] configuration parsed getConfigFilePath
+    def getConfigSbuilder
+      @logger.info( "#{__method__} loading config from #{getConfigFilePath}" )
+      yaml_lines = Sbuilder::Utils::NetIo.read_lines( getConfigFilePath )
+      return YAML.load( yaml_lines )
+    end
+
     def getSetups
       getConfig()['setups']
     end
@@ -1716,7 +1872,7 @@ module Sbuilder
       elsif paramSetDef['url'] then
         return paramSetDef['url']
       else
-        raise "Param set definition #{paramSetDef} should defined 'file' or 'url'"
+        warn "Param set definition #{paramSetDef} should define 'file' or 'url'"
       end
         
     end