Projects/KDevelop4/SupportForDynamicMaps - Revision history

Neverendingo: Text replace - "" to ""

2011-06-29T20:57:32Z

Text replace - "</code>" to "</syntaxhighlight>"

Neverendingo: Text replace - "`" to ""`


2011-06-29T20:49:03Z
Text replace - "<code>" to "<syntaxhighlight lang="text">"

				
				
				
				
			
			← Older revision
			Revision as of 20:49, 29 June 2011
			
Line 17:
Line 17:
  </pre>   </pre>
    
− In the simple case of a map similar to <code>QMap<KeyType, ValueType></code> the types are clear. But in the following PHP example we would have to use UnsureType: + In the simple case of a map similar to <syntaxhighlight lang="text">QMap<KeyType, ValueType></code> the types are clear. But in the following PHP example we would have to use UnsureType:
    
  <pre>   <pre>
Line 28:
Line 28:
  </pre>   </pre>
    
− <code>$a</code> would be a VariableDeclaration with an associated MapType. Here would be the expected return values for <code>keyType()</code> and <code>valueType()</code> respectivly: + <syntaxhighlight lang="text">$a</code> would be a VariableDeclaration with an associated MapType. Here would be the expected return values for <syntaxhighlight lang="text">keyType()</code> and <syntaxhighlight lang="text">valueType()</code> respectivly:
    
  <pre>   <pre>
Line 126:
Line 126:
  </pre>   </pre>
    
− In this case we don't know how to resolve <code>$b</code>! Hence our idea is to give a list of all completionitems for each class <code>$a</code> contains. Since that is possibly quite much we show an additional list (positioned the same like the argument hint list) which can be accessed by mouse or by the up-arrow. That list contains all possible types (i.e. valueType()). This list can be used for filtering the lower list. + In this case we don't know how to resolve <syntaxhighlight lang="text">$b</code>! Hence our idea is to give a list of all completionitems for each class <syntaxhighlight lang="text">$a</code> contains. Since that is possibly quite much we show an additional list (positioned the same like the argument hint list) which can be accessed by mouse or by the up-arrow. That list contains all possible types (i.e. valueType()). This list can be used for filtering the lower list.



Odysseus: moved KDevelop4/SupportForDynamicMaps to Projects/KDevelop4/SupportForDynamicMaps: Move to correct place in page hierarchy, although most content probably belongs on community.kde.org
2011-03-19T13:34:54Z
moved KDevelop4/SupportForDynamicMaps to Projects/KDevelop4/SupportForDynamicMaps: Move to correct place in page hierarchy, although most content probably belongs on community.kde.org

			
			← Older revision
			Revision as of 13:34, 19 March 2011
			


Milianw: Created page with '= support for maps in dynamic languages =   Virtually every dynamic language we can think of has some kind of map which you can use to store any combination of types. Currently t...'
2011-02-05T18:00:17Z
Created page with '= support for maps in dynamic languages =   Virtually every dynamic language we can think of has some kind of map which you can use to store any combination of types. Currently t...'
New page
= support for maps in dynamic languages = 



Virtually every dynamic language we can think of has some kind of map which you can use to store any combination of types. Currently there is no support for this in the KDevelop 4 DUChain. Here's a proposal we came up with on the KDevelop Hack Sprint 2009 in Ukraine:





== UnsureType ==



essentially a list of possible types



== MapType == 



A type which essentially holds two types: One for the key(s), one for the value(s).



<pre>

AbstractType::Ptr MapType->keyType()

AbstractType::Ptr MapType->valueType()

</pre>



In the simple case of a map similar to <code>QMap<KeyType, ValueType></code> the types are clear. But in the following PHP example we would have to use UnsureType:



<pre>

$a = array(

  1 => "foo",

  "bar" => 2134,

  0 => 0.234,

  "asdfasdf" => new someClass();

);

</pre>



<code>$a</code> would be a VariableDeclaration with an associated MapType. Here would be the expected return values for <code>keyType()</code> and <code>valueType()</code> respectivly:



<pre>

  keyType() => UnsureType which contains the types

    ConstantIntegralType for Int, value 1

    ConstantIntegralType for String, value bar

    ConstantIntegralType for Int, value 0

    ConstantIntegralType for String, value asdfasdf

</pre>



**Note:** ConstantIntegralType has to be extended to be able to store strings. Should be simple by storing the IndexedString->index() in the available value field.

   

<pre>

  valueType() => UnsureType which contains the types

    IntegralType for String

    IntegralType for Int

    IntegralType for Float

    StructureType for someClass

</pre>



== Declarations for map contents ==



Each map has its own context which contains declarations for all it's items.



The Declarations are again have a MapType, though keyType / valueType returns the real types, no UnsureType. As an Identifier we use the key converted to a string. Example: Int(1) => "1", String("asdf") => "\"asdf\""



**TODO:** what / how do we store complex keys, for example variables, objects (possible in Ruby) or function calls.



<pre>

// VariableDeclaration

//   type: MapType

//     MapType->keyType() => UnsureType (contains ConstIntegralType for Int and ConstIntegralType for String)

//     MapType->valueType() => UnsureType (contains ConstIntegralType for String, StructureType)

$a = array(

  // open new context for $a



  // Declaration

  //   type: MapType

  //     MapType->keyType() => ConstIntegralType Int, value 1

  //     MapType->valueType() => StructureType for Class

  //   Identifier: keyName (here: "1")

  //

  1 => "",



  // Declaration

  //   Type: MapType

  //     MapType->keyType() => ConstIntegralType String, value "a" (TODO:

  //     MapType->valueType() => StructureType for Class

  //   Identifier: keyName (here "\"a\"" <-- including the quotes, possibly in the PHP/Js case always converted to doublequotes

  "a" => new Class();



  // close context for $a

);

</pre>



== CodeCompletion: ==



All the above will make it possible to generate sane completion lists most of the time.



=== Example 1 ===

<pre>

$a[

</pre>



This should create a list of all possible values for the keys, by going through keyType. ConstIntegralTypes list their values, StructureTypes (for Ruby) the identifier of their associated Declaration.



=== Example 2 ===



<pre>

$a = array(

  1 => new myClass();

  2 => ...

  ...

);



$a[1]->

</pre>



Shows completion just like we access any variable of myClass type.



=== Example 3 ===



In dynamic languages the following is possible which makes it a bit more complicated:



<pre>

// in some config file e.g.

$a = array(

  0 => new class1,

  1 => new class2,

  2 => new class3,

  ...

);



// in another file

// we don't know what $b contains!

$a[$b]->

</pre>



In this case we don't know how to resolve <code>$b</code>! Hence our idea is to give a list of all completionitems for each class <code>$a</code> contains. Since that is possibly quite much we show an additional list (positioned the same like the argument hint list) which can be accessed by mouse or by the up-arrow. That list contains all possible types (i.e. valueType()). This list can be used for filtering the lower list.

@@ Line 17: / Line 17: @@
 </pre>
-In the simple case of a map similar to <syntaxhighlight lang="text">QMap<KeyType, ValueType></code> the types are clear. But in the following PHP example we would have to use UnsureType:
+In the simple case of a map similar to <syntaxhighlight lang="text">QMap<KeyType, ValueType></syntaxhighlight> the types are clear. But in the following PHP example we would have to use UnsureType:
 <pre>
@@ Line 28: / Line 28: @@
 </pre>
-<syntaxhighlight lang="text">$a</code> would be a VariableDeclaration with an associated MapType. Here would be the expected return values for <syntaxhighlight lang="text">keyType()</code> and <syntaxhighlight lang="text">valueType()</code> respectivly:
+<syntaxhighlight lang="text">$a</syntaxhighlight> would be a VariableDeclaration with an associated MapType. Here would be the expected return values for <syntaxhighlight lang="text">keyType()</syntaxhighlight> and <syntaxhighlight lang="text">valueType()</syntaxhighlight> respectivly:
 <pre>
@@ Line 126: / Line 126: @@
 </pre>
-In this case we don't know how to resolve <syntaxhighlight lang="text">$b</code>! Hence our idea is to give a list of all completionitems for each class <syntaxhighlight lang="text">$a</code> contains. Since that is possibly quite much we show an additional list (positioned the same like the argument hint list) which can be accessed by mouse or by the up-arrow. That list contains all possible types (i.e. valueType()). This list can be used for filtering the lower list.
+In this case we don't know how to resolve <syntaxhighlight lang="text">$b</syntaxhighlight>! Hence our idea is to give a list of all completionitems for each class <syntaxhighlight lang="text">$a</syntaxhighlight> contains. Since that is possibly quite much we show an additional list (positioned the same like the argument hint list) which can be accessed by mouse or by the up-arrow. That list contains all possible types (i.e. valueType()). This list can be used for filtering the lower list.