<?xml version="1.0" encoding="UTF-8"?>

<ui version="4.0">

<class>FunctionContractDialog</class>

<widget class="QDialog" name="FunctionContractDialog">

<property name="geometry">

<rect>

<x>0</x>

<y>0</y>

<width>640</width>

<height>401</height>

</rect>

</property>

<property name="windowTitle">

<string>Function contract</string>

</property>

<layout class="QVBoxLayout" name="verticalLayout_2">

<item>

<widget class="QLabel" name="functionName">

<property name="text">

<string>Name</string>

</property>

</widget>

</item>

<item>

<widget class="QGroupBox" name="groupBox">

<property name="title">

<string>Requirements for parameters</string>

</property>

<layout class="QVBoxLayout" name="verticalLayout">

<item>

<widget class="QPlainTextEdit" name="expects"/>

</item>

</layout>

</widget>

</item>

<item>

<widget class="QDialogButtonBox" name="buttonBox">

<property name="orientation">

<enum>Qt::Horizontal</enum>

</property>

<property name="standardButtons">

<set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set>

</property>

</widget>

</item>

</layout>

</widget>

<resources/>

<connections>

<connection>

<sender>buttonBox</sender>

<signal>accepted()</signal>

<receiver>FunctionContractDialog</receiver>

<slot>accept()</slot>

<hints>

<hint type="sourcelabel">

<x>248</x>

<y>254</y>

</hint>

<hint type="destinationlabel">

<x>157</x>

<y>274</y>

</hint>

</hints>

</connection>

<connection>

<sender>buttonBox</sender>

<signal>rejected()</signal>

<receiver>FunctionContractDialog</receiver>

<slot>reject()</slot>

<hints>

<hint type="sourcelabel">

<x>316</x>

<y>260</y>

</hint>

<hint type="destinationlabel">

<x>286</x>

<y>274</y>

</hint>

</hints>

</connection>

</connections>

</ui>