From f0f62eceba5021fffb2efdaeac50296b576d43c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?D=C3=A1vid=20Honfi?= Date: Tue, 10 Nov 2015 08:28:41 +0100 Subject: [PATCH] Added license headers. --- Source/SEViz.Common/Model/SEEdge.cs | 27 ++++++++++++++++- Source/SEViz.Common/Model/SEGraph.cs | 27 ++++++++++++++++- Source/SEViz.Common/Model/SENode.cs | 27 ++++++++++++++++- .../EdgeColorToForegroundColorConverter.cs | 27 ++++++++++++++++- .../NodeBorderToBorderPaddingConverter.cs | 27 ++++++++++++++++- .../NodeBorderToBorderThicknessConverter.cs | 27 ++++++++++++++++- .../SEViz.Integration/Resources/Converters.cs | 27 ++++++++++++++++- .../SEViz.Integration/ShowInSEVizCommand.cs | 29 +++++++++++++++---- .../ViewModel/SEGraphViewModel.cs | 27 ++++++++++++++++- .../SEViz.Integration/ViewerWindowCommand.cs | 29 +++++++++++++++---- .../ViewerWindowControl.xaml | 28 +++++++++++++++++- .../ViewerWindowControl.xaml.cs | 29 +++++++++++++++---- .../SEViz.Integration/ViewerWindowPackage.cs | 29 +++++++++++++++---- Source/SEViz.Monitoring/SEVizAttribute.cs | 27 ++++++++++++++++- 14 files changed, 357 insertions(+), 30 deletions(-) diff --git a/Source/SEViz.Common/Model/SEEdge.cs b/Source/SEViz.Common/Model/SEEdge.cs index 56310c3..96520c7 100644 --- a/Source/SEViz.Common/Model/SEEdge.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Common/Model/SEGraph.cs b/Source/SEViz.Common/Model/SEGraph.cs index 51bf179..3948216 100644 --- a/Source/SEViz.Common/Model/SEGraph.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Common/Model/SENode.cs b/Source/SEViz.Common/Model/SENode.cs index ee5cb3f..5c7a68c 100644 --- a/Source/SEViz.Common/Model/SENode.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/Helpers/Converters/EdgeColorToForegroundColorConverter.cs b/Source/SEViz.Integration/Helpers/Converters/EdgeColorToForegroundColorConverter.cs index f05a9e0..4c8c6e6 100644 --- a/Source/SEViz.Integration/Helpers/Converters/EdgeColorToForegroundColorConverter.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderPaddingConverter.cs b/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderPaddingConverter.cs index ae3da90..2a0b9bb 100644 --- a/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderPaddingConverter.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderThicknessConverter.cs b/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderThicknessConverter.cs index 142c7bb..660c092 100644 --- a/Source/SEViz.Integration/Helpers/Converters/NodeBorderToBorderThicknessConverter.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/Resources/Converters.cs b/Source/SEViz.Integration/Resources/Converters.cs index 2eea1ab..2c0121b 100644 --- a/Source/SEViz.Integration/Resources/Converters.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/ShowInSEVizCommand.cs b/Source/SEViz.Integration/ShowInSEVizCommand.cs index 0e08e09..c235e0c 100644 --- a/Source/SEViz.Integration/ShowInSEVizCommand.cs +++ b/Source/SEViz.Integration/ShowInSEVizCommand.cs @@ -1,8 +1,27 @@ -//------------------------------------------------------------------------------ -// -// Copyright (c) Company. All rights reserved. -// -//------------------------------------------------------------------------------ +/* + * 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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/ViewModel/SEGraphViewModel.cs b/Source/SEViz.Integration/ViewModel/SEGraphViewModel.cs index 10d7f30..da7519a 100644 --- a/Source/SEViz.Integration/ViewModel/SEGraphViewModel.cs +++ b/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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/ViewerWindowCommand.cs b/Source/SEViz.Integration/ViewerWindowCommand.cs index 63d7b44..ab5c230 100644 --- a/Source/SEViz.Integration/ViewerWindowCommand.cs +++ b/Source/SEViz.Integration/ViewerWindowCommand.cs @@ -1,8 +1,27 @@ -//------------------------------------------------------------------------------ -// -// Copyright (c) Company. All rights reserved. -// -//------------------------------------------------------------------------------ +/* + * 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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Integration/ViewerWindowControl.xaml b/Source/SEViz.Integration/ViewerWindowControl.xaml index 509fa0a..797a810 100644 --- a/Source/SEViz.Integration/ViewerWindowControl.xaml +++ b/Source/SEViz.Integration/ViewerWindowControl.xaml @@ -1,4 +1,30 @@ -, Zoltán Micskei + * , András Vörös + * + * 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. + * + * +--> + -// Copyright (c) Company. All rights reserved. -// -//------------------------------------------------------------------------------ +/* + * 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 , Zoltán Micskei + * , András Vörös + * + * 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 { diff --git a/Source/SEViz.Integration/ViewerWindowPackage.cs b/Source/SEViz.Integration/ViewerWindowPackage.cs index ae82a59..a5625a0 100644 --- a/Source/SEViz.Integration/ViewerWindowPackage.cs +++ b/Source/SEViz.Integration/ViewerWindowPackage.cs @@ -1,8 +1,27 @@ -//------------------------------------------------------------------------------ -// -// Copyright (c) Company. All rights reserved. -// -//------------------------------------------------------------------------------ +/* + * 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 , Zoltán Micskei + * , András Vörös + * + * 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; diff --git a/Source/SEViz.Monitoring/SEVizAttribute.cs b/Source/SEViz.Monitoring/SEVizAttribute.cs index 49c8a70..3bd6d38 100644 --- a/Source/SEViz.Monitoring/SEVizAttribute.cs +++ b/Source/SEViz.Monitoring/SEVizAttribute.cs @@ -1,4 +1,29 @@ -using Microsoft.Pex.Engine.Packages; +/* + * 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 , Zoltán Micskei + * , András Vörös + * + * 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 Microsoft.Pex.Engine.Packages; using Microsoft.Pex.Framework.ComponentModel; using System; using System.Collections.Generic;