Recommended
More Related Content
Viewers also liked
Viewers also liked (10)
Similar to Principled Syntactic Code Completion with Placeholders
Similar to Principled Syntactic Code Completion with Placeholders (20)
Recently uploaded
Recently uploaded (20)
Principled Syntactic Code Completion with Placeholders
- 1. Principled Syntactic Code Completion using Placeholders SLE’16 - Amsterdam Sebastian Erdweg, Guido Wachsmuth, EelcoVisser Eduardo Souza
- 2. 2
- 3. 3 *S. Amann, S. Proksch, S. Nadi, and M. Mezini. A study of visual studio usage in practice. In SANER, 2016.
- 6. 6 Problems
- 7. 7 Problems
- 8. Unsound! 8 Soundness: the resulting program should have no additional syntax errors. Problems
- 10. 10 Incomplete! Completeness: any program should be derivable through code completion. Problems Unsound!
- 13. 13 Language Specification Syntax Definition Name Binding Type Constraints Code Completion Syntactic Completion Semantic Completion Textual/Projectional IDE Language Workbenches
- 14. 14
- 15. 15 Unsound!
- 16. 16 Sound and Complete Syntactic Code Completion from Language Specifications
- 17. 17 Language Specification Syntax Definition Name Binding Type Constraints Code Completion Syntactic Completion Semantic Completion Textual IDE Sound! Complete! Language Workbenches
- 18. 18 Language Specification SDF3 Name Binding Type Constraints Code Completion Syntactic Completion Semantic Completion Textual IDE Sound! Complete!
- 21. 21 Make incompleteness valid using placeholders! Incomplete programs
- 22. 22
- 23. 23
- 24. 24
- 25. 25
- 26. 26 4 2 3 1
- 27. 27 Deriving Syntactic Completion from the Syntax Definition context-free syntax Statement ::= "if" "(" Exp ")" Statement "else" Statement {"If"}
- 28. 28 context-free syntax // placeholder rule Statement ::= “$Statement" {“Statement-Plhdr"} context-free syntax //regular production rule Statement ::= "if" "(" Exp ")" Statement "else" Statement {"If"} Make placeholders part of the language
- 29. Stm-Plhdr If Exp-Plhdr Stm-Plhdr 29 Stm-Plhdr context-free syntax //regular production rule Statement ::= "if" "(" Exp ")" Statement "else" Statement {"If"} signature constructors // AST signatures If : Exp * Statement * Statement -> Statement Calculate placeholder expansions
- 30. 30 rules rewrite-placeholder: Statement-Plhdr() -> If(Exp-Plhdr(), Statement-Plhdr(), Statement-Plhdr()) Format Expansions context-free syntax Statement ::= "if" "(" Exp ")" Statement "else" Statement {cons("If")} context-free syntax // placeholder rule Statement ::= "$Statement" Parse Placeholders Expand Placeholders
- 38. Optional Parent List of Statements 38 Add Element to List Add Optional Element Placeholder Inference
- 39. Optional Parent List of Statements Add Optional Element 39 No source region Add first or last element Placeholder Inference Add Element to List
- 40. ClassDecl class “A” {NoParent ConsMethod […] }NilField 40 Placeholder Inference - Optional
- 41. 41 ClassDecl class “A” {NoParent ConsMethod […] }NilField Placeholder Inference - Optional
- 42. 42 ClassDecl class “A” {NoParent ConsMethod […] }NilField Placeholder Inference - Optional
- 43. 43 Placeholder Inference - Optional
- 44. 44 Placeholder Inference - Lists […] […] Method Cons VarDecl AssignInt “x” VarRef “x” Add Int 21 Cons Nil { return […] int ; Int = 21
- 45. 45 Placeholder Inference - Lists […] […] Method Cons VarDecl AssignInt “x” VarRef “x” Add Int 21 Cons Nil { return […] int ; Int = 21
- 46. 46 Placeholder Inference - Lists […] […] Method Cons VarDecl AssignInt “x” VarRef “x” Add Int 21 Cons Nil { return […] int ; Int = 21
- 47. 47 Placeholder Inference - Lists […] […] Method Cons VarDecl AssignInt “x” VarRef “x” Add Int 21 Cons Nil { return […] int ; Int = 21
- 48. 48
- 52. 52
- 53. 53
- 54. 54 context-free syntax //regular syntax rules Statement.VarDecl = <<Type> <ID>;> Statement.Assign = <<VarRef> = <Exp>;> Insertion Rules // derived insertion rules for placeholders context-free syntax Type.Type-Plhdr = {symbol-insertion} ID.ID-Plhdr = {symbol-insertion} Statement.Statement-Plhdr = {symbol-insertion} VarRef.VarRef-Plhdr = {symbol-insertion} Exp.Exp-Plhdr = {symbol-insertion} // derived insertion rules for literals lexical syntax "=" = {symbol-completion} ";" = {symbol-completion}
- 55. 55 Proposal nodes Insertion nodes […] […] Stmt* amb VarDecl ClassType “x” VarDecl […] Assign ID-Plhdr ; Assign VarRef “x” Exp-Plhdr ; = Apply insertion rules at the cursor
- 56. 56 Limit the search space! Exp-Plhdr Exp-Plhdr + Assign VarRef “x” ; = […] Add Assign VarRef “x” ;= […] Exp-Plhdr
- 58. 58 Nested Proposal Nodes IntValue Exp-Plhdr+ Assign VarRef “x” ;= […] Add 1
- 59. 59