From 5059fe90b04799e50765b1f71f590e6783a03ed0 Mon Sep 17 00:00:00 2001 From: diekmann Date: Tue, 17 Jun 2014 21:27:03 +0200 Subject: [PATCH 01/11] Added language Isabelle Isabelle is a generic proof assistant. It is comparables (to some degree) to Coq. Used in * diekmann/topoS * 3of8/sturm * formare/auctions * larsrh/hol-falso * dpthayer/MetaProof Hello Wolrd example (file must be named HelloWorld.thy): theory HelloWorld imports Main begin (*put content here*) end --- lib/linguist/languages.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 42ce978d..aff5e8b0 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -987,6 +987,12 @@ IRC log: - .irclog - .weechatlog +Isabelle: + type: programming + color: "#fdcd00" + extensions: + - .thy + Io: type: programming color: "#a9188d" From d9f17a65ddf895997056642a104e92121e3ff7d7 Mon Sep 17 00:00:00 2001 From: diekmann Date: Wed, 18 Jun 2014 09:16:31 +0200 Subject: [PATCH 02/11] Isabelle language - fixed lexer and added sample Also, Isabelle is very polular in academia. See for example http://scholar.google.de/scholar?q=isabelle%2FHOL In around 40 days, the seL4 microkernel [1] with its Isabelle proofs is (probably) released on github [2]. [1] http://sel4.systems/ [2] https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-June/msg00011.html --- lib/linguist/languages.yml | 1 + samples/Isabelle/HelloWorld.thy | 46 +++++++++++++++++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100644 samples/Isabelle/HelloWorld.thy diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index aff5e8b0..8bcffbcc 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -989,6 +989,7 @@ IRC log: Isabelle: type: programming + lexer: Text only color: "#fdcd00" extensions: - .thy diff --git a/samples/Isabelle/HelloWorld.thy b/samples/Isabelle/HelloWorld.thy new file mode 100644 index 00000000..7c814dae --- /dev/null +++ b/samples/Isabelle/HelloWorld.thy @@ -0,0 +1,46 @@ +theory HelloWorld +imports Main +begin + +section{*Playing around with Isabelle*} + +text{* creating a lemma with the name hello_world*} +lemma hello_world: "True" by simp + +(*inspecting it*) +thm hello_world + +text{* defining a string constant HelloWorld *} + +definition HelloWorld :: "string" where + "HelloWorld \ ''Hello World!''" + +(*reversing HelloWorld twice yilds HelloWorld again*) +theorem "rev (rev HelloWorld) = HelloWorld" + by (fact List.rev_rev_ident) + +text{*now we delete the already proven List.rev_rev_ident lema and show it by hand*} +declare List.rev_rev_ident[simp del] +hide_fact List.rev_rev_ident + +(*It's trivial since we can just 'execute' it*) +corollary "rev (rev HelloWorld) = HelloWorld" + apply(simp add: HelloWorld_def) + done + +text{*does it hold in general?*} +theorem rev_rev_ident:"rev (rev l) = l" + proof(induction l) + case Nil thus ?case by simp + next + case (Cons l ls) + assume IH: "rev (rev ls) = ls" + have "rev (l#ls) = (rev ls) @ [l]" by simp + hence "rev (rev (l#ls)) = rev ((rev ls) @ [l])" by simp + also have "\ = [l] @ rev (rev ls)" by simp + finally show "rev (rev (l#ls)) = l#ls" using IH by simp + qed + +corollary "\(l::string). rev (rev l) = l" by(fastforce intro: rev_rev_ident) + +end From 947f4e1c57332133d2b2904653973f23eca4f97f Mon Sep 17 00:00:00 2001 From: diekmann Date: Wed, 18 Jun 2014 09:34:26 +0200 Subject: [PATCH 03/11] alphabetic sorting --- lib/linguist/languages.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 8bcffbcc..f24b9b79 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -987,13 +987,6 @@ IRC log: - .irclog - .weechatlog -Isabelle: - type: programming - lexer: Text only - color: "#fdcd00" - extensions: - - .thy - Io: type: programming color: "#a9188d" @@ -1006,6 +999,13 @@ Ioke: extensions: - .ik +Isabelle: + type: programming + lexer: Text only + color: "#fdcd00" + extensions: + - .thy + J: type: programming lexer: Text only From 900ee57de816146a315274164baa87b4a3eff98f Mon Sep 17 00:00:00 2001 From: Kevin Sawicki Date: Wed, 18 Jun 2014 08:58:18 -0700 Subject: [PATCH 04/11] Add .nuspec extension to XML --- lib/linguist/languages.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 42ce978d..6c17c72f 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -2289,6 +2289,7 @@ XML: - .launch - .mxml - .nproj + - .nuspec - .osm - .plist - .pluginspec From a4379435161e95bb08ae43b785c76c358e4cb9ff Mon Sep 17 00:00:00 2001 From: Kenichi Maehashi Date: Thu, 19 Jun 2014 01:02:34 +0900 Subject: [PATCH 05/11] Add Xojo language and example --- lib/linguist/languages.yml | 16 ++++++++++++++++ samples/Xojo/database.xojo_script | 17 +++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 samples/Xojo/database.xojo_script diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 42ce978d..109b9bb8 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -2360,6 +2360,22 @@ XSLT: - .xslt - .xsl +Xojo: + type: programming + lexer: VB.net + extensions: + - .xojo_binary_project + - .xojo_code + - .xojo_menu + - .xojo_project + - .xojo_report + - .xojo_resources + - .xojo_script + - .xojo_toolbar + - .xojo_uistate + - .xojo_window + - .xojo_xml_project + Xtend: type: programming extensions: diff --git a/samples/Xojo/database.xojo_script b/samples/Xojo/database.xojo_script new file mode 100644 index 00000000..1f0f59cc --- /dev/null +++ b/samples/Xojo/database.xojo_script @@ -0,0 +1,17 @@ +Dim dbFile As FolderItem +Dim db As New SQLiteDatabase +dbFile = GetFolderItem("Employees.sqlite") +db.DatabaseFile = dbFile +If db.Connect Then + db.SQLExecute("BEGIN TRANSACTION") + db.SQLExecute ("INSERT INTO Employees (Name,Job,YearJoined) VALUES "_ + +"('Dr.Strangelove','Advisor',1962)") + If db.Error then + MsgBox("Error: " + db.ErrorMessage) + db.Rollback + Else + db.Commit + End If +Else + MsgBox("The database couldn't be opened. Error: " + db.ErrorMessage) +End If From 14738f037fe40df58e4530d74f6e6d55df3c2ec5 Mon Sep 17 00:00:00 2001 From: Kenichi Maehashi Date: Thu, 19 Jun 2014 07:27:54 +0900 Subject: [PATCH 06/11] remove non-source file extensions of Xojo language --- lib/linguist/languages.yml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 109b9bb8..c82c4811 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -2364,17 +2364,12 @@ Xojo: type: programming lexer: VB.net extensions: - - .xojo_binary_project - .xojo_code - .xojo_menu - - .xojo_project - .xojo_report - - .xojo_resources - .xojo_script - .xojo_toolbar - - .xojo_uistate - .xojo_window - - .xojo_xml_project Xtend: type: programming From 195a4115d8f3a01e8f484423fb5ef38acfb74090 Mon Sep 17 00:00:00 2001 From: Arfon Smith Date: Thu, 19 Jun 2014 14:50:41 +0100 Subject: [PATCH 07/11] Samples --- lib/linguist/samples.json | 92 +++++++++++++++++++++++++++++++++++++-- 1 file changed, 89 insertions(+), 3 deletions(-) diff --git a/lib/linguist/samples.json b/lib/linguist/samples.json index c238bfe1..64823831 100644 --- a/lib/linguist/samples.json +++ b/lib/linguist/samples.json @@ -235,6 +235,9 @@ "Ioke": [ ".ik" ], + "Isabelle": [ + ".thy" + ], "Jade": [ ".jade" ], @@ -747,8 +750,8 @@ ".gemrc" ] }, - "tokens_total": 636184, - "languages_total": 816, + "tokens_total": 636320, + "languages_total": 817, "tokens": { "ABAP": { "*/**": 1, @@ -27441,6 +27444,87 @@ "SHEBANG#!ioke": 1, "println": 1 }, + "Isabelle": { + "theory": 1, + "HelloWorld": 3, + "imports": 1, + "Main": 1, + "begin": 1, + "section": 1, + "{": 5, + "*Playing": 1, + "around": 1, + "with": 2, + "Isabelle*": 1, + "}": 5, + "text": 4, + "*": 4, + "creating": 1, + "a": 2, + "lemma": 2, + "the": 2, + "name": 1, + "hello_world*": 1, + "hello_world": 2, + "by": 9, + "simp": 8, + "thm": 1, + "defining": 1, + "string": 1, + "constant": 1, + "definition": 1, + "where": 1, + "theorem": 2, + "(": 5, + "fact": 1, + "List.rev_rev_ident": 4, + ")": 5, + "*now": 1, + "we": 1, + "delete": 1, + "already": 1, + "proven": 1, + "lema": 1, + "and": 1, + "show": 2, + "it": 2, + "hand*": 1, + "declare": 1, + "[": 1, + "del": 1, + "]": 1, + "hide_fact": 1, + "corollary": 2, + "apply": 1, + "add": 1, + "HelloWorld_def": 1, + "done": 1, + "*does": 1, + "hold": 1, + "in": 1, + "general": 1, + "rev_rev_ident": 2, + "proof": 1, + "induction": 1, + "l": 2, + "case": 3, + "Nil": 1, + "thus": 1, + "next": 1, + "Cons": 1, + "ls": 1, + "assume": 1, + "IH": 2, + "have": 2, + "hence": 1, + "also": 1, + "finally": 1, + "using": 1, + "qed": 1, + "fastforce": 1, + "intro": 1, + "end": 1 + }, "Jade": { "p.": 1, "Hello": 1, @@ -68388,6 +68472,7 @@ "Inform 7": 75, "INI": 27, "Ioke": 2, + "Isabelle": 136, "Jade": 3, "Java": 8987, "JavaScript": 76970, @@ -68580,6 +68665,7 @@ "Inform 7": 2, "INI": 2, "Ioke": 1, + "Isabelle": 1, "Jade": 1, "Java": 6, "JavaScript": 22, @@ -68706,5 +68792,5 @@ "Zephir": 2, "Zimpl": 1 }, - "md5": "7403e3e21c597d10462391ab49bb9bf9" + "md5": "08b10456e2939230eb5cee4d4d487a0a" } \ No newline at end of file From b14267d40f41700a161d81463e156f67d25017c6 Mon Sep 17 00:00:00 2001 From: Kenichi Maehashi Date: Thu, 19 Jun 2014 22:59:12 +0900 Subject: [PATCH 08/11] add more samples for Xojo language --- samples/Xojo/App.xojo_code | 22 ++ samples/Xojo/BillingReport.xojo_report | 23 ++ samples/Xojo/MainMenuBar.xojo_menu | 112 +++++++++ samples/Xojo/MyToolbar.xojo_toolbar | 14 ++ samples/Xojo/Window1.xojo_window | 304 +++++++++++++++++++++++++ 5 files changed, 475 insertions(+) create mode 100644 samples/Xojo/App.xojo_code create mode 100644 samples/Xojo/BillingReport.xojo_report create mode 100644 samples/Xojo/MainMenuBar.xojo_menu create mode 100644 samples/Xojo/MyToolbar.xojo_toolbar create mode 100644 samples/Xojo/Window1.xojo_window diff --git a/samples/Xojo/App.xojo_code b/samples/Xojo/App.xojo_code new file mode 100644 index 00000000..4b7d02a5 --- /dev/null +++ b/samples/Xojo/App.xojo_code @@ -0,0 +1,22 @@ +#tag Class +Protected Class App +Inherits Application + #tag Constant, Name = kEditClear, Type = String, Dynamic = False, Default = \"&Delete", Scope = Public + #Tag Instance, Platform = Windows, Language = Default, Definition = \"&Delete" + #Tag Instance, Platform = Linux, Language = Default, Definition = \"&Delete" + #tag EndConstant + + #tag Constant, Name = kFileQuit, Type = String, Dynamic = False, Default = \"&Quit", Scope = Public + #Tag Instance, Platform = Windows, Language = Default, Definition = \"E&xit" + #tag EndConstant + + #tag Constant, Name = kFileQuitShortcut, Type = String, Dynamic = False, Default = \"", Scope = Public + #Tag Instance, Platform = Mac OS, Language = Default, Definition = \"Cmd+Q" + #Tag Instance, Platform = Linux, Language = Default, Definition = \"Ctrl+Q" + #tag EndConstant + + + #tag ViewBehavior + #tag EndViewBehavior +End Class +#tag EndClass diff --git a/samples/Xojo/BillingReport.xojo_report b/samples/Xojo/BillingReport.xojo_report new file mode 100644 index 00000000..fae10085 --- /dev/null +++ b/samples/Xojo/BillingReport.xojo_report @@ -0,0 +1,23 @@ +#tag Report +Begin Report BillingReport + Compatibility = "" + Units = 0 + Width = 8.5 + Begin PageHeader + Type = 1 + Height = 1.0 + End + Begin Body + Type = 3 + Height = 2.0 + End + Begin PageFooter + Type = 5 + Height = 1.0 + End +End +#tag EndReport + +#tag ReportCode +#tag EndReportCode + diff --git a/samples/Xojo/MainMenuBar.xojo_menu b/samples/Xojo/MainMenuBar.xojo_menu new file mode 100644 index 00000000..0634681c --- /dev/null +++ b/samples/Xojo/MainMenuBar.xojo_menu @@ -0,0 +1,112 @@ +#tag Menu +Begin Menu MainMenuBar + Begin MenuItem FileMenu + SpecialMenu = 0 + Text = "&File" + Index = -2147483648 + AutoEnable = True + Visible = True + Begin QuitMenuItem FileQuit + SpecialMenu = 0 + Text = "#App.kFileQuit" + Index = -2147483648 + ShortcutKey = "#App.kFileQuitShortcut" + Shortcut = "#App.kFileQuitShortcut" + AutoEnable = True + Visible = True + End + End + Begin MenuItem EditMenu + SpecialMenu = 0 + Text = "&Edit" + Index = -2147483648 + AutoEnable = True + Visible = True + Begin MenuItem EditUndo + SpecialMenu = 0 + Text = "&Undo" + Index = -2147483648 + ShortcutKey = "Z" + Shortcut = "Cmd+Z" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditSeparator1 + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditCut + SpecialMenu = 0 + Text = "Cu&t" + Index = -2147483648 + ShortcutKey = "X" + Shortcut = "Cmd+X" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditCopy + SpecialMenu = 0 + Text = "&Copy" + Index = -2147483648 + ShortcutKey = "C" + Shortcut = "Cmd+C" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditPaste + SpecialMenu = 0 + Text = "&Paste" + Index = -2147483648 + ShortcutKey = "V" + Shortcut = "Cmd+V" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditClear + SpecialMenu = 0 + Text = "#App.kEditClear" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditSeparator2 + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditSelectAll + SpecialMenu = 0 + Text = "Select &All" + Index = -2147483648 + ShortcutKey = "A" + Shortcut = "Cmd+A" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem UntitledSeparator + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin AppleMenuItem AboutItem + SpecialMenu = 0 + Text = "About This App..." + Index = -2147483648 + AutoEnable = True + Visible = True + End + End +End +#tag EndMenu diff --git a/samples/Xojo/MyToolbar.xojo_toolbar b/samples/Xojo/MyToolbar.xojo_toolbar new file mode 100644 index 00000000..02dfbf0a --- /dev/null +++ b/samples/Xojo/MyToolbar.xojo_toolbar @@ -0,0 +1,14 @@ +#tag Toolbar +Begin Toolbar MyToolbar + Begin ToolButton FirstItem + Caption = "First Item" + HelpTag = "" + Style = 0 + End + Begin ToolButton SecondItem + Caption = "Second Item" + HelpTag = "" + Style = 0 + End +End +#tag EndToolbar diff --git a/samples/Xojo/Window1.xojo_window b/samples/Xojo/Window1.xojo_window new file mode 100644 index 00000000..c52fd843 --- /dev/null +++ b/samples/Xojo/Window1.xojo_window @@ -0,0 +1,304 @@ +#tag Window +Begin Window Window1 + BackColor = &cFFFFFF00 + Backdrop = 0 + CloseButton = True + Compatibility = "" + Composite = False + Frame = 0 + FullScreen = False + FullScreenButton= False + HasBackColor = False + Height = 400 + ImplicitInstance= True + LiveResize = True + MacProcID = 0 + MaxHeight = 32000 + MaximizeButton = True + MaxWidth = 32000 + MenuBar = 1153981589 + MenuBarVisible = True + MinHeight = 64 + MinimizeButton = True + MinWidth = 64 + Placement = 0 + Resizeable = True + Title = "Sample App" + Visible = True + Width = 600 + Begin PushButton HelloWorldButton + AutoDeactivate = True + Bold = False + ButtonStyle = "0" + Cancel = False + Caption = "Push Me" + Default = True + Enabled = True + Height = 20 + HelpTag = "" + Index = -2147483648 + InitialParent = "" + Italic = False + Left = 260 + LockBottom = False + LockedInPosition= False + LockLeft = True + LockRight = False + LockTop = True + Scope = 0 + TabIndex = 0 + TabPanelIndex = 0 + TabStop = True + TextFont = "System" + TextSize = 0.0 + TextUnit = 0 + Top = 32 + Underline = False + Visible = True + Width = 80 + End +End +#tag EndWindow + +#tag WindowCode +#tag EndWindowCode + +#tag Events HelloWorldButton + #tag Event + Sub Action() + Dim total As Integer + + For i As Integer = 0 To 10 + total = total + i + Next + + MsgBox "Hello World! " + Str(total) + End Sub + #tag EndEvent +#tag EndEvents +#tag ViewBehavior + #tag ViewProperty + Name="BackColor" + Visible=true + Group="Appearance" + InitialValue="&hFFFFFF" + Type="Color" + #tag EndViewProperty + #tag ViewProperty + Name="Backdrop" + Visible=true + Group="Appearance" + Type="Picture" + EditorType="Picture" + #tag EndViewProperty + #tag ViewProperty + Name="CloseButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Composite" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Frame" + Visible=true + Group="Appearance" + InitialValue="0" + Type="Integer" + EditorType="Enum" + #tag EnumValues + "0 - Document" + "1 - Movable Modal" + "2 - Modal Dialog" + "3 - Floating Window" + "4 - Plain Box" + "5 - Shadowed Box" + "6 - Rounded Window" + "7 - Global Floating Window" + "8 - Sheet Window" + "9 - Metal Window" + "10 - Drawer Window" + "11 - Modeless Dialog" + #tag EndEnumValues + #tag EndViewProperty + #tag ViewProperty + Name="FullScreen" + Group="Appearance" + InitialValue="False" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="FullScreenButton" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="HasBackColor" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Height" + Visible=true + Group="Position" + InitialValue="400" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="ImplicitInstance" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Interfaces" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="LiveResize" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MacProcID" + Visible=true + Group="Appearance" + InitialValue="0" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MaxHeight" + Visible=true + Group="Position" + InitialValue="32000" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MaximizeButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MaxWidth" + Visible=true + Group="Position" + InitialValue="32000" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MenuBar" + Visible=true + Group="Appearance" + Type="MenuBar" + EditorType="MenuBar" + #tag EndViewProperty + #tag ViewProperty + Name="MenuBarVisible" + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MinHeight" + Visible=true + Group="Position" + InitialValue="64" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MinimizeButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MinWidth" + Visible=true + Group="Position" + InitialValue="64" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="Name" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Placement" + Visible=true + Group="Position" + InitialValue="0" + Type="Integer" + EditorType="Enum" + #tag EnumValues + "0 - Default" + "1 - Parent Window" + "2 - Main Screen" + "3 - Parent Window Screen" + "4 - Stagger" + #tag EndEnumValues + #tag EndViewProperty + #tag ViewProperty + Name="Resizeable" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Super" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Title" + Visible=true + Group="Appearance" + InitialValue="Untitled" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Visible" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Width" + Visible=true + Group="Position" + InitialValue="600" + Type="Integer" + #tag EndViewProperty +#tag EndViewBehavior From dc1b8d9e80f5f458544f7ba446b7f0b68fe52d6c Mon Sep 17 00:00:00 2001 From: Arfon Smith Date: Thu, 19 Jun 2014 15:03:30 +0100 Subject: [PATCH 09/11] Samples --- lib/linguist/samples.json | 198 +++++++++++++++++++++++++++++++++++++- 1 file changed, 195 insertions(+), 3 deletions(-) diff --git a/lib/linguist/samples.json b/lib/linguist/samples.json index 64823831..c81d65ac 100644 --- a/lib/linguist/samples.json +++ b/lib/linguist/samples.json @@ -664,6 +664,14 @@ ".vcxproj", ".xml" ], + "Xojo": [ + ".xojo_code", + ".xojo_menu", + ".xojo_report", + ".xojo_script", + ".xojo_toolbar", + ".xojo_window" + ], "XProc": [ ".xpl" ], @@ -750,8 +758,8 @@ ".gemrc" ] }, - "tokens_total": 636320, - "languages_total": 817, + "tokens_total": 637127, + "languages_total": 823, "tokens": { "ABAP": { "*/**": 1, @@ -67859,6 +67867,188 @@ "": 1, "": 1 }, + "Xojo": { + "#tag": 88, + "Class": 3, + "Protected": 1, + "App": 1, + "Inherits": 1, + "Application": 1, + "Constant": 3, + "Name": 31, + "kEditClear": 1, + "Type": 34, + "String": 3, + "Dynamic": 3, + "False": 14, + "Default": 9, + "Scope": 4, + "Public": 3, + "#Tag": 5, + "Instance": 5, + "Platform": 5, + "Windows": 2, + "Language": 5, + "Definition": 5, + "Linux": 2, + "EndConstant": 3, + "kFileQuit": 1, + "kFileQuitShortcut": 1, + "Mac": 1, + "OS": 1, + "ViewBehavior": 2, + "EndViewBehavior": 2, + "End": 27, + "EndClass": 1, + "Report": 2, + "Begin": 23, + "BillingReport": 1, + "Compatibility": 2, + "Units": 1, + "Width": 3, + "PageHeader": 1, + "Height": 5, + "Body": 1, + "PageFooter": 1, + "EndReport": 1, + "ReportCode": 1, + "EndReportCode": 1, + "Dim": 3, + "dbFile": 3, + "As": 4, + "FolderItem": 1, + "db": 1, + "New": 1, + "SQLiteDatabase": 1, + "GetFolderItem": 1, + "(": 7, + ")": 7, + "db.DatabaseFile": 1, + "If": 4, + "db.Connect": 1, + "Then": 1, + "db.SQLExecute": 2, + "_": 1, + "+": 5, + "db.Error": 1, + "then": 1, + "MsgBox": 3, + "db.ErrorMessage": 2, + "db.Rollback": 1, + "Else": 2, + "db.Commit": 1, + "Menu": 2, + "MainMenuBar": 1, + "MenuItem": 11, + "FileMenu": 1, + "SpecialMenu": 13, + "Text": 13, + "Index": 14, + "-": 14, + "AutoEnable": 13, + "True": 46, + "Visible": 41, + "QuitMenuItem": 1, + "FileQuit": 1, + "ShortcutKey": 6, + "Shortcut": 6, + "EditMenu": 1, + "EditUndo": 1, + "MenuModifier": 5, + "EditSeparator1": 1, + "EditCut": 1, + "EditCopy": 1, + "EditPaste": 1, + "EditClear": 1, + "EditSeparator2": 1, + "EditSelectAll": 1, + "UntitledSeparator": 1, + "AppleMenuItem": 1, + "AboutItem": 1, + "EndMenu": 1, + "Toolbar": 2, + "MyToolbar": 1, + "ToolButton": 2, + "FirstItem": 1, + "Caption": 3, + "HelpTag": 3, + "Style": 2, + "SecondItem": 1, + "EndToolbar": 1, + "Window": 2, + "Window1": 1, + "BackColor": 1, + "&": 1, + "cFFFFFF00": 1, + "Backdrop": 1, + "CloseButton": 1, + "Composite": 1, + "Frame": 1, + "FullScreen": 1, + "FullScreenButton": 1, + "HasBackColor": 1, + "ImplicitInstance": 1, + "LiveResize": 1, + "MacProcID": 1, + "MaxHeight": 1, + "MaximizeButton": 1, + "MaxWidth": 1, + "MenuBar": 1, + "MenuBarVisible": 1, + "MinHeight": 1, + "MinimizeButton": 1, + "MinWidth": 1, + "Placement": 1, + "Resizeable": 1, + "Title": 1, + "PushButton": 1, + "HelloWorldButton": 2, + "AutoDeactivate": 1, + "Bold": 1, + "ButtonStyle": 1, + "Cancel": 1, + "Enabled": 1, + "InitialParent": 1, + "Italic": 1, + "Left": 1, + "LockBottom": 1, + "LockedInPosition": 1, + "LockLeft": 1, + "LockRight": 1, + "LockTop": 1, + "TabIndex": 1, + "TabPanelIndex": 1, + "TabStop": 1, + "TextFont": 1, + "TextSize": 1, + "TextUnit": 1, + "Top": 1, + "Underline": 1, + "EndWindow": 1, + "WindowCode": 1, + "EndWindowCode": 1, + "Events": 1, + "Event": 1, + "Sub": 2, + "Action": 1, + "total": 4, + "Integer": 2, + "For": 1, + "i": 2, + "To": 1, + "Next": 1, + "Str": 1, + "EndEvent": 1, + "EndEvents": 1, + "ViewProperty": 28, + "true": 26, + "Group": 28, + "InitialValue": 23, + "EndViewProperty": 28, + "EditorType": 14, + "EnumValues": 2, + "EndEnumValues": 2 + }, "XProc": { "": 1, "version=": 2, @@ -68591,6 +68781,7 @@ "wisp": 1363, "XC": 24, "XML": 7006, + "Xojo": 807, "XProc": 22, "XQuery": 801, "XSLT": 44, @@ -68784,6 +68975,7 @@ "wisp": 1, "XC": 1, "XML": 12, + "Xojo": 6, "XProc": 1, "XQuery": 1, "XSLT": 1, @@ -68792,5 +68984,5 @@ "Zephir": 2, "Zimpl": 1 }, - "md5": "08b10456e2939230eb5cee4d4d487a0a" + "md5": "5c995f9890d5f17c9b437ab48416178a" } \ No newline at end of file From 2be91e9b2e49cb4d7456ca3b15b188a923720caf Mon Sep 17 00:00:00 2001 From: Kevin Sawicki Date: Thu, 19 Jun 2014 07:53:52 -0700 Subject: [PATCH 10/11] Add .nuspec sample --- samples/XML/sample.nuspec | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 samples/XML/sample.nuspec diff --git a/samples/XML/sample.nuspec b/samples/XML/sample.nuspec new file mode 100644 index 00000000..238c325a --- /dev/null +++ b/samples/XML/sample.nuspec @@ -0,0 +1,21 @@ + + + + Sample + Sample + 0.101.0 + Hugh Bot + Hugh Bot + A package of nuget + + It just works + + http://hubot.github.com + + https://github.com/github/hubot/LICENSEmd + false + + + + + From e12bc070416d118929ea3c4baf13f334112699d7 Mon Sep 17 00:00:00 2001 From: Arfon Smith Date: Thu, 19 Jun 2014 16:03:05 +0100 Subject: [PATCH 11/11] Samples --- lib/linguist/samples.json | 71 +++++++++++++++++++++++++++++---------- 1 file changed, 54 insertions(+), 17 deletions(-) diff --git a/lib/linguist/samples.json b/lib/linguist/samples.json index c81d65ac..afe89795 100644 --- a/lib/linguist/samples.json +++ b/lib/linguist/samples.json @@ -658,6 +658,7 @@ ".fsproj", ".ivy", ".nproj", + ".nuspec", ".pluginspec", ".targets", ".vbproj", @@ -758,8 +759,8 @@ ".gemrc" ] }, - "tokens_total": 637127, - "languages_total": 823, + "tokens_total": 637178, + "languages_total": 824, "tokens": { "ABAP": { "*/**": 1, @@ -66673,13 +66674,13 @@ "return": 1 }, "XML": { - "": 10, - "version=": 16, + "": 11, + "version=": 17, "encoding=": 7, "": 7, "ToolsVersion=": 6, "DefaultTargets=": 5, - "xmlns=": 7, + "xmlns=": 8, "": 21, "Project=": 12, "Condition=": 37, @@ -66728,7 +66729,7 @@ "full": 4, "": 6, "": 7, - "false": 10, + "false": 11, "": 7, "": 8, "bin": 11, @@ -66803,7 +66804,7 @@ "name=": 227, "xmlns": 2, "ea=": 2, - "": 3, + "": 4, "This": 21, "easyant": 3, "module.ant": 1, @@ -66820,7 +66821,7 @@ "own": 2, "specific": 8, "target.": 1, - "": 3, + "": 4, "": 2, "": 2, "my": 2, @@ -66883,7 +66884,7 @@ "": 1, "": 1, "": 120, - "": 120, + "": 121, "IObservedChange": 5, "generic": 3, "interface": 4, @@ -66911,7 +66912,7 @@ "casting": 1, "between": 15, "changes.": 2, - "": 121, + "": 122, "": 120, "The": 75, "object": 42, @@ -66919,7 +66920,7 @@ "raised": 1, "change.": 12, "name": 7, - "of": 75, + "of": 76, "property": 74, "changed": 18, "on": 35, @@ -67015,7 +67016,7 @@ "itself": 2, "changes": 13, ".": 20, - "It": 1, + "It": 2, "important": 6, "implement": 5, "Changing/Changed": 1, @@ -67104,7 +67105,7 @@ "to.": 7, "": 12, "": 84, - "A": 20, + "A": 21, "identical": 11, "types": 10, "one": 27, @@ -67648,6 +67649,43 @@ "Ingl": 1, "": 1, "": 1, + "": 1, + "": 1, + "": 1, + "Sample": 2, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "Hugh": 2, + "Bot": 2, + "": 1, + "": 1, + "": 1, + "package": 1, + "nuget": 1, + "just": 1, + "works": 1, + "": 1, + "http": 2, + "//hubot.github.com": 1, + "": 1, + "": 1, + "": 1, + "https": 1, + "//github.com/github/hubot/LICENSEmd": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "src=": 1, + "target=": 1, + "": 1, + "": 1, "MyCommon": 1, "": 1, "Name=": 1, @@ -67860,7 +67898,6 @@ "loader/saver": 1, "FreeMedForms.": 1, "": 1, - "http": 1, "//www.freemedforms.com/": 1, "": 1, "": 1, @@ -68780,7 +68817,7 @@ "Volt": 388, "wisp": 1363, "XC": 24, - "XML": 7006, + "XML": 7057, "Xojo": 807, "XProc": 22, "XQuery": 801, @@ -68974,7 +69011,7 @@ "Volt": 1, "wisp": 1, "XC": 1, - "XML": 12, + "XML": 13, "Xojo": 6, "XProc": 1, "XQuery": 1, @@ -68984,5 +69021,5 @@ "Zephir": 2, "Zimpl": 1 }, - "md5": "5c995f9890d5f17c9b437ab48416178a" + "md5": "f4c480e7ebfd885f7fa0e842df3d4787" } \ No newline at end of file