Added license headers.

Source/SEViz.Common/Model/SEEdge.cs

@@ -1,4 +1,29 @@
-using QuickGraph;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using QuickGraph;
 using System;
 using System.Collections.Generic;
 using System.ComponentModel;

Source/SEViz.Common/Model/SEGraph.cs

@@ -1,4 +1,29 @@
-using GraphSharp;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using GraphSharp;
 using QuickGraph;
 using QuickGraph.Serialization;
 using System;

Source/SEViz.Common/Model/SENode.cs

@@ -1,4 +1,29 @@
-using System;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using System;
 using System.Collections.Generic;
 using System.ComponentModel;
 using System.Linq;

Source/SEViz.Integration/Helpers/Converters/EdgeColorToForegroundColorConverter.cs

@@ -1,4 +1,29 @@
-using SEViz.Common.Model;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using SEViz.Common.Model;
 using System;
 using System.Collections.Generic;
 using System.Drawing;

Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderPaddingConverter.cs

@@ -1,4 +1,29 @@
-using SEViz.Common;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using SEViz.Common;
 using SEViz.Common.Model;
 using System;
 using System.Collections.Generic;

Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderThicknessConverter.cs

@@ -1,4 +1,29 @@
-using SEViz.Common;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using SEViz.Common;
 using SEViz.Common.Model;
 using System;
 using System.Collections.Generic;

Source/SEViz.Integration/Resources/Converters.cs

@@ -1,4 +1,29 @@
-using SEViz.Common;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using SEViz.Common;
 using SEViz.Common.Model;
 using System;
 using System.Collections.Generic;

Source/SEViz.Integration/ShowInSEVizCommand.cs

@@ -1,8 +1,27 @@
-//------------------------------------------------------------------------------
-// <copyright file="ShowInSEVizCommand.cs" company="Company">
-//     Copyright (c) Company.  All rights reserved.
-// </copyright>
-//------------------------------------------------------------------------------
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
 
 using System;
 using System.ComponentModel.Design;

Source/SEViz.Integration/ViewModel/SEGraphViewModel.cs

@@ -1,4 +1,29 @@
-using GraphSharp.Controls;
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
+
+using GraphSharp.Controls;
 using Microsoft.VisualStudio;
 using Microsoft.VisualStudio.Shell.Interop;
 using SEViz.Common;

Source/SEViz.Integration/ViewerWindowCommand.cs

@@ -1,8 +1,27 @@
-//------------------------------------------------------------------------------
-// <copyright file="ViewerWindowCommand.cs" company="Company">
-//     Copyright (c) Company.  All rights reserved.
-// </copyright>
-//------------------------------------------------------------------------------
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
 
 using System;
 using System.ComponentModel.Design;

Source/SEViz.Integration/ViewerWindowControl.xaml

@@ -1,4 +1,30 @@
-<UserControl x:Class="SEViz.Integration.ViewerWindowControl"
+<!--
+ *
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ *    
+-->
+<UserControl x:Class="SEViz.Integration.ViewerWindowControl"
              xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
              xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
              xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"

Source/SEViz.Integration/ViewerWindowControl.xaml.cs

@@ -1,8 +1,27 @@
-//------------------------------------------------------------------------------
-// <copyright file="ViewerWindowControl.xaml.cs" company="Company">
-//     Copyright (c) Company.  All rights reserved.
-// </copyright>
-//------------------------------------------------------------------------------
+/*
+ * SEViz - Symbolic Execution VIsualiZation
+ *
+ * SEViz is a tool, which can support the test generation process by
+ * visualizing the symbolic execution in a directed graph.
+ *
+ * Authors: Dávid Honfi <[email protected]>, Zoltán Micskei
+ * <[email protected]>, András Vörös <[email protected]>
+ * 
+ * Copyright 2015 Budapest University of Technology and Economics (BME)
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ * 
+ */
 
 namespace SEViz.Integration
 {