text:
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Reflection;

namespace AspxCommerce.Core
{
    public static class DynamicUtility
    {

        /// ///////////////////// InvokeStringMethod //////////////////////
        ///
        /// <summary>
        /// Calls a static public method.
        /// Assumes that the method returns a string, and doesn't have parameters.
        /// </summary>
        /// <param name="className">name of the class in which the method lives.</param>
        /// <param name="methodName">name of the method itself.</param>
        /// <returns>the string returned by the called method.</returns>
        ///
        public static List<T> InvokeMethodAsList<T>(string className, string methodName)
        {
            List<T> tList = new List<T>();
            // Get the Type for the class
            Type calledType = Type.GetType(className);

            // Invoke the method itself. The string returned by the method winds up in s
            tList = (List<T>) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                null);

            // Return the string that was returned by the called method.
            return tList;
        }

        public static T InvokeMethodAsObject<T>(string className, string methodName)
        {
            // Get the Type for the class
            Type calledType = Type.GetType(className);

            // Invoke the method itself. The string returned by the method winds up in s
            var tList = (T) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                null);

            // Return the string that was returned by the called method.
            return tList;
        }

        public static T InvokeMethodAsObject<T>(string className, string methodName, string stringParam)
        {
            // Get the Type for the class
            Type calledType = Type.GetType(className);

            // Invoke the method itself. The string returned by the method winds up in s.
            // Note that stringParam is passed via the last parameter of InvokeMember,
            // as an array of Objects.
            var s = (T) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                new Object[] {stringParam});

            // Return the string that was returned by the called method.
            return s;
        }

        public static List<T> InvokeMethodAsList<T>(string className, string methodName, string stringParam)
        {
            List<T> tList = new List<T>();
            // Get the Type for the class
            Type calledType = Type.GetType(className);

            // Invoke the method itself. The string returned by the method winds up in s.
            // Note that stringParam is passed via the last parameter of InvokeMember,
            // as an array of Objects.
            tList = (List<T>) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                new Object[] {stringParam});

            // Return the string that was returned by the called method.
            return tList;
        }

        /// ///////////////////// InvokeStringMethod3 //////////////////////
        ///
        /// <summary>
        /// Calls a static public method.
        /// Assumes that the method returns a string, and doesn't have parameters.
        /// </summary>
        /// <param name="assemblyName">[dlls or project name ] name of the assembly containing the class in which the method lives.</param>
        /// <param name="namespaceName">namespace of the class.</param>
        /// <param name="className">name of the class in which the method lives.</param>
        /// <param name="methodName">name of the method itself.</param>
        /// <returns>the string returned by the called method.</returns>
        ///
        public static List<T> InvokeMethodAsList<T>(string assemblyName, string namespaceName, string className,
                                                    string methodName, Object[] obj)
        {
            List<T> tList = new List<T>();
            // Get the Type for the class
            Type calledType = Type.GetType(namespaceName + "." + className + "," + assemblyName);

            // Invoke the method itself. The string returned by the method winds up in s
            tList = (List<T>) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                obj);

            // Return the string that was returned by the called method.
            return tList;
        }

        public static T InvokeMethodAsObject<T>(string assemblyName, string namespaceName, string className,
                                                string methodName, Object[] obj)
        {

            // Get the Type for the class
            Type calledType = Type.GetType(namespaceName + "." + className + "," + assemblyName);

            // Invoke the method itself. The string returned by the method winds up in s
            var tList = (T) calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                obj);

            // Return the string that was returned by the called method.
            return tList;
        }

        public static object InvokeMethodAsObject(string assemblyName, string namespaceName, string className,
                                                  string methodName)
        {
            // Get the Type for the class
            Type calledType = Type.GetType(namespaceName + "." + className + "," + assemblyName);

            var obj = calledType.InvokeMember(
                methodName,
                BindingFlags.InvokeMethod | BindingFlags.Public | BindingFlags.Static,
                null,
                null,
                null);
            return obj;
        }

        public static T Cast<T>(Object myobj)
        {
            Type objectType = myobj.GetType();
            Type target = typeof (T);
            var x = Activator.CreateInstance(target, false);
            var z = from source in objectType.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            var d = from source in target.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            List<MemberInfo> members =
                d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();
            PropertyInfo propertyInfo;
            object value;
            foreach (var memberInfo in members)
            {
                propertyInfo = typeof (T).GetProperty(memberInfo.Name);
                value = myobj.GetType().GetProperty(memberInfo.Name).GetValue(myobj, null);
                if (value != null)
                    propertyInfo.SetValue(x, value, null);
            }
            return (T) x;
        }

        public static Object PassObjectToClass(string assemblyName, Object dataToPass)
        {
            Type objectType = Type.GetType(assemblyName);
            Type target = dataToPass.GetType();
            var passedData = Activator.CreateInstance(objectType, false);
            var z = from source in objectType.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            var d = from source in target.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            List<MemberInfo> members =
                d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();
            PropertyInfo propertyInfo;
            object value;
            foreach (var memberInfo in members)
            {
                //property type of object which value are going to set
                propertyInfo = objectType.GetProperty(memberInfo.Name);
                value = target.GetProperty(memberInfo.Name).GetValue(dataToPass, null);
                if (value != null)
                {
                    if (value.Equals(""))
                    {

                    }
                    else
                    {
                        propertyInfo.SetValue(passedData,
                                              Convert.ChangeType(value, Type.GetType(propertyInfo.PropertyType.FullName)),
                                              null);

                    }
                }
            }
            return passedData;
        }

        public static Object PassObject(Object myobj, Object dataToPass)
        {
            Type objectType = myobj.GetType();
            Type target = dataToPass.GetType();
            var passedData = Activator.CreateInstance(target, false);
            var z = from source in objectType.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            var d = from source in target.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            List<MemberInfo> members =
                d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();
            PropertyInfo propertyInfo;
            object value;
            foreach (var memberInfo in members)
            {
                propertyInfo = target.GetProperty(memberInfo.Name);
                value = myobj.GetType().GetProperty(memberInfo.Name).GetValue(myobj, null);
                if (value != null)
                    propertyInfo.SetValue(passedData,
                                          Convert.ChangeType(value, Type.GetType(propertyInfo.PropertyType.FullName)),
                                          null);

            }
            return passedData;
        }

        public static List<T> CastToList<T>(Object myobj)
        {
            List<T> tlist = new List<T>();

            IList collection = (IList) myobj;

            foreach (var list in collection)
            {
                Type objectType = list.GetType();
                Type target = typeof (T);
                var x = Activator.CreateInstance(target, false);
                var z = from source in objectType.GetMembers().ToList()
                        where source.MemberType == MemberTypes.Property
                        select source;
                var d = from source in target.GetMembers().ToList()
                        where source.MemberType == MemberTypes.Property
                        select source;
                List<MemberInfo> members =
                    d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();
                PropertyInfo propertyInfo;
                object value;
                foreach (var memberInfo in members)
                {
                    propertyInfo = typeof (T).GetProperty(memberInfo.Name);
                    if (objectType.GetProperty(memberInfo.Name) != null)
                    {
                        value = list.GetType().GetProperty(memberInfo.Name).GetValue(list, null);
                        if (value != null)
                        {
                            TypeCode typeCode = Type.GetTypeCode(value.GetType());
                            if (TypeCode.DateTime == typeCode)
                            {
                                value = DateTime.Parse(value.ToString()).ToString("dddd, dd MMMM yyyy");
                                propertyInfo.SetValue(x,
                                                      Convert.ChangeType(value,
                                                                         Type.GetType(propertyInfo.PropertyType.FullName)),
                                                      null);

                            }
                            else
                            {
                                propertyInfo.SetValue(x,
                                                      Convert.ChangeType(value,
                                                                         Type.GetType(propertyInfo.PropertyType.FullName)),
                                                      null);
                            }
                        }
                    }

                }
                tlist.Add((T) x);
            }

            return tlist; //(T)x;
        }

        public static Object PassMembersValue(Object myobj, Type to, string assemblyName)
        {
            Type objectType = myobj.GetType();
            Type target = to.GetType(); //typeof (T);
            var x = Activator.CreateInstance(to, false);
            var z = from source in objectType.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            var d = from source in to.GetMembers().ToList()
                    where source.MemberType == MemberTypes.Property
                    select source;
            List<MemberInfo> members =
                d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();
            List<MemberInfo> membersF =
                z.Where(memberInfo => z.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();

            PropertyInfo propertyInfo;
            object value;
            foreach (var memberInfo in members)
            {

                propertyInfo = to.GetProperty(memberInfo.Name);

                var xx = objectType.GetProperty("ShipToAddress");
                var yy = objectType.GetProperty("WareHouseAddress");
                var basket = objectType.GetProperty("BasketItems");

                var shiptoAddress = xx.GetValue(myobj, null);
                var wareHouseAddress = yy.GetValue(myobj, null);
                var basketItems = (List<BasketItem>)basket.GetValue(myobj, null);

                foreach (var item in basketItems)
                {
                    if (item.GetType().GetProperty(memberInfo.Name) != null)
                    {
                        value = item.GetType().GetProperty(memberInfo.Name).GetValue(item, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);

                    }
                    else
                    {
                        break;
                    }

                }

                if (shiptoAddress != null)
                {
                    if (shiptoAddress.GetType().GetProperty(memberInfo.Name) != null)
                    {
                        value = shiptoAddress.GetType().GetProperty(memberInfo.Name).GetValue(shiptoAddress, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);

                    }
                }

                if (wareHouseAddress != null)
                {
                    if (wareHouseAddress.GetType().GetProperty(memberInfo.Name) != null)
                    {
                        value = wareHouseAddress.GetType().GetProperty(memberInfo.Name).GetValue(wareHouseAddress, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);
                    }
                }

                //PropertyInfo exposedInnerClassInfo = objectType.GetProperty("ExposedInnerClass");
                // PropertyInfo propertyInfo2 = baseType.GetProperty("Address");

                if (objectType.GetProperty(memberInfo.Name) != null)
                {

                    object dd = objectType.GetProperty(memberInfo.Name).GetValue(myobj, null);
                    if (dd.GetType().GetProperty(memberInfo.Name) != null)
                    {
                        value = dd.GetType().GetProperty(memberInfo.Name).GetValue(myobj, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);
                    }
                    else
                    {
                        value = objectType.GetProperty(memberInfo.Name).GetValue(myobj, null);
                        if (value != null)
                        {
                            TypeCode typeCode = Type.GetTypeCode(value.GetType());

                            switch (typeCode)
                            {
                                case TypeCode.Object:

                                    var obj =
                                        PassObjectToClass(
                                            propertyInfo.PropertyType.FullName + "," + assemblyName, value);
                                    propertyInfo.SetValue(x, obj, null);

                                    break;

                                //  case TypeCode.Double:
                                //   break;
                                default:
                                    propertyInfo.SetValue(x,
                                                          Convert.ChangeType(value,
                                                                             Type.GetType(
                                                                                propertyInfo.PropertyType.FullName)),
                                                          null);
                                    break;
                            }
                        }

                    }

                }
            }
            return x;
        }

        public static Object TransferDataToList(Object listItemData, Object additionalObj, Type to, string assemblyName)
        {
            IList collection = (IList)listItemData;
            var itemList = new ArrayList();
            foreach (var product in collection)
            {
                Type objectType = product.GetType();
                Type additionalType = additionalObj.GetType();
                //   Type target = to.GetType(); //typeof (T);
                var x = Activator.CreateInstance(to, false);
                var z = from source in objectType.GetMembers().ToList()
                        where source.MemberType == MemberTypes.Property
                        select source;

                var d = from source in to.GetMembers().ToList()
                        where source.MemberType == MemberTypes.Property
                        select source;

                var addit = from source in additionalType.GetMembers().ToList()
                            where source.MemberType == MemberTypes.Property
                            select source;

                List<MemberInfo> members =
                    d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();

                List<MemberInfo> additionalmembers =
                    addit.Where(memberInfo => addit.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();

                foreach (var memberInfo in members)
                {

                    PropertyInfo propertyInfo = to.GetProperty(memberInfo.Name);

                    if (product.GetType().GetProperty(memberInfo.Name) != null)
                    {
                        object value = product.GetType().GetProperty(memberInfo.Name).GetValue(product, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);
                    }

                }

                foreach (var additionalmember in additionalmembers)
                {
                    //property info of which data is going to set i.e to
                    PropertyInfo additionalInfo = to.GetProperty(additionalmember.Name);

                    if (to.GetProperty(additionalmember.Name) != null)
                    {
                        object value;
                        object dd = additionalType.GetProperty(additionalmember.Name).GetValue(additionalObj, null);
                        if (dd.GetType().GetProperty(additionalmember.Name) != null)
                        {
                            value = dd.GetType().GetProperty(additionalmember.Name).GetValue(additionalObj, null);
                            if (value != null)
                                additionalInfo.SetValue(x, Convert.ChangeType(value, Type.GetType(additionalInfo.PropertyType.FullName)), null);
                        }
                        else
                        {
                            value = additionalType.GetProperty(additionalmember.Name).GetValue(additionalObj, null);
                            if (value != null)
                            {
                                TypeCode typeCode = Type.GetTypeCode(value.GetType());

                                switch (typeCode)
                                {
                                    case TypeCode.Object:

                                        Type st =
                                            Type.GetType(additionalInfo.PropertyType.FullName + "," +
                                                         additionalInfo.PropertyType.Assembly.FullName + "");

                                        var obj = PassMembersValue(value, st);
                                        //DynamicUtility.PassObjectToClass(
                                        //    additionalInfo.PropertyType.FullName + "," + assemblyName, value);
                                        additionalInfo.SetValue(x, obj, null);

                                        break;

                                    default:
                                        additionalInfo.SetValue(x, Convert.ChangeType(value, Type.GetType(additionalInfo.PropertyType.FullName)),
                                                                null);
                                        break;
                                }
                            }

                        }

                    }
                }

                //for additional data
                itemList.Add(x);

            }
            return itemList;
        }

        public static Object PassMembersValue(Object dataObj,Type toData)
        {

                Type objectType = dataObj.GetType();
                var x = Activator.CreateInstance(toData, false);
                var d = from source in toData.GetMembers().ToList()
                        where source.MemberType == MemberTypes.Property
                        select source;
                List<MemberInfo> members =
                    d.Where(memberInfo => d.Select(c => c.Name).ToList().Contains(memberInfo.Name)).ToList();

                foreach (var memberInfo in members)
                {

                    PropertyInfo propertyInfo = toData.GetProperty(memberInfo.Name);

                    if (objectType.GetProperty(memberInfo.Name) != null)
                    {
                        object value = objectType.GetProperty(memberInfo.Name).GetValue(dataObj, null);
                        if (value != null)
                            propertyInfo.SetValue(x,
                                                  Convert.ChangeType(value,
                                                                     Type.GetType(propertyInfo.PropertyType.FullName)),
                                                  null);
                    }
                }

            return x;
        }

    }
}


text:
from AccessControl import ClassSecurityInfo
from bika.lims import bikaMessageFactory as _
from bika.lims.utils import t
from bika.lims.browser import BrowserView
from bika.lims.interfaces import IReferenceWidgetVocabulary
from bika.lims.permissions import *
from bika.lims.utils import to_unicode as _u
from bika.lims.utils import to_utf8 as _c
from bika.lims import logger
from Acquisition import aq_base
from types import DictType
from operator import itemgetter
from Products.Archetypes.Registry import registerWidget
from Products.Archetypes.Widget import StringWidget
from Products.CMFCore.utils import getToolByName
from zope.component import getAdapters
import json
import plone

class ReferenceWidget(StringWidget):
    _properties = StringWidget._properties.copy()
    _properties.update({
        'macro': "bika_widgets/referencewidget",
        'helper_js': ("bika_widgets/referencewidget.js",),
        'helper_css': ("bika_widgets/referencewidget.css",),

        'url': 'referencewidget_search',
        'catalog_name': 'portal_catalog',

        # base_query can be a dict or a callable returning a dict
        'base_query': {},

        # This will be faster if the columnNames are catalog indexes
        'colModel': [
            {'columnName': 'Title', 'width': '30', 'label': _(
                'Title'), 'align': 'left'},
            {'columnName': 'Description', 'width': '70', 'label': _(
                'Description'), 'align': 'left'},
            # UID is required in colModel
            {'columnName': 'UID', 'hidden': True},
        ],

        # Default field to put back into input elements
        'ui_item': 'Title',
        'search_fields': ('Title',),
        'discard_empty': [],
        'popup_width': '550px',
        'showOn': False,
        'searchIcon': True,
        'minLength': '0',
        'resetButton': False,
        'sord': 'asc',
        'sidx': 'Title',
        'force_all': True,
        'portal_types': {},
        'add_button': {
            'visible': False,
            'url': '',
            'js_controllers': [],
            'return_fields': [],
            'overlay_options': {},
            },
        'edit_button': {
            'visible': False,
            'url': '',
            'js_controllers': [],
            'return_fields': [],
            'overlay_options': {},
        },
    })
    security = ClassSecurityInfo()

    security.declarePublic('process_form')

    def process_form(self, instance, field, form, empty_marker=None,
                     emptyReturnsMarker=False):
        """Return a UID so that ReferenceField understands.
        """
        fieldName = field.getName()
        if fieldName + "_uid" in form:
            uid = form.get(fieldName + "_uid", '')
            if field.multiValued:
                uid = uid.split(",")
        elif fieldName in form:
            uid = form.get(fieldName, '')
            if field.multiValued:
                uid = uid.split(",")
        else:
            uid = None
        return uid, {}

    def get_combogrid_options(self, context, fieldName):
        colModel = self.colModel
        if 'UID' not in [x['columnName'] for x in colModel]:
            colModel.append({'columnName': 'UID', 'hidden': True})
        options = {
            'url': self.url,
            'colModel': colModel,
            'showOn': self.showOn,
            'width': self.popup_width,
            'sord': self.sord,
            'sidx': self.sidx,
            'force_all': self.force_all,
            'search_fields': self.search_fields,
            'discard_empty': self.discard_empty,
            'minLength': self.minLength,
            'resetButton': self.resetButton,
            'searchIcon': self.searchIcon,
        }
        return json.dumps(options)

    def get_base_query(self, context, fieldName):
        base_query = self.base_query
        if callable(base_query):
            base_query = base_query()
        if base_query and isinstance(base_query, basestring):
            base_query = json.loads(base_query)

        # portal_type: use field allowed types
        field = context.Schema().getField(fieldName)
        allowed_types = getattr(field, 'allowed_types', None)
        allowed_types_method = getattr(field, 'allowed_types_method', None)
        if allowed_types_method:
            meth = getattr(context, allowed_types_method)
            allowed_types = meth(field)
        # If field has no allowed_types defined, use widget's portal_type prop
        base_query['portal_type'] = allowed_types \
            if allowed_types \
            else self.portal_types

        return json.dumps(self.base_query)

    def initial_uid_field_value(self, value):
        if type(value) in (list, tuple):
            ret = ",".join([v.UID() for v in value])
        else:
            ret = value.UID() if value else value
        return ret

    def get_addbutton_options(self):
        # Return a dict with the options defined in the schema whose widget needs an add button.
        return {
            'visible': self.add_button.get('visible', False),
            'url': self.add_button.get('url'),
            'return_fields': json.dumps(self.add_button.get('return_fields')),
            'js_controllers': json.dumps(self.add_button.get('js_controllers',[])),
            'overlay_handler': self.add_button.get('overlay_handler', ''),
            'overlay_options': json.dumps(self.add_button.get('overlay_options',{
                'filter': 'head>*,#content>*:not(div.configlet),dl.portalMessage.error,dl.portalMessage.info',
                'formselector': 'form[id$="base-edit"]',
                'closeselector': '[name="form.button.cancel"]',
                'width': '70%',
                'noform': 'close',}))
            }

    def get_editbutton_options(self):
        # Return a dict with the options defined in the schema whose widget needs an edit button.
        return {
            'visible': self.edit_button.get('visible', False),
            'url': self.edit_button.get('url'),
            'return_fields': json.dumps(self.edit_button.get('return_fields')),
            'js_controllers': json.dumps(self.edit_button.get('js_controllers',[])),
            'overlay_handler': self.edit_button.get('overlay_handler', ''),
            'overlay_options': json.dumps(self.edit_button.get('overlay_options',{
                'filter': 'head>*,#content>*:not(div.configlet),dl.portalMessage.error,dl.portalMessage.info',
                'formselector': 'form[id$="base-edit"]',
                'closeselector': '[name="form.button.cancel"]',
                'width': '70%',
                'noform': 'close',}))
            }

registerWidget(ReferenceWidget, title='Reference Widget')

class ajaxReferenceWidgetSearch(BrowserView):

    """ Source for jquery combo dropdown box
    """

    def __call__(self):
        plone.protect.CheckAuthenticator(self.request)
        page = self.request['page']
        nr_rows = self.request['rows']
        sord = self.request['sord']
        sidx = self.request['sidx']
        colModel = json.loads(_u(self.request.get('colModel', '[]')))
        discard_empty = json.loads(_c(self.request.get('discard_empty', "[]")))
        rows = []
        brains = []
        for name, adapter in getAdapters((self.context, self.request), IReferenceWidgetVocabulary):
            brains.extend(adapter())

        for p in brains:
            row = {'UID': getattr(p, 'UID'),
                   'Title': getattr(p, 'Title')}
            other_fields = [x for x in colModel
                            if x['columnName'] not in row.keys()]
            instance = schema = None
            discard = False
            # This will be faster if the columnNames are catalog indexes
            for field in other_fields:
                fieldname = field['columnName']
                # Prioritize method retrieval over field retrieval from schema
                obj = p.getObject()
                value = getattr(obj, fieldname, None)
                if not value or hasattr(value, 'im_self'):
                    value = getattr(p, fieldname, None)
                if not value:
                    if instance is None:
                        instance = p.getObject()
                        schema = instance.Schema()
                    if fieldname in schema:
                        value = schema[fieldname].get(instance)
                    elif hasattr(instance, fieldname):
                        value = getattr(instance, fieldname)
                        if callable(value):
                            value = value()

                if fieldname in discard_empty and not value:
                    discard = True
                    break

                # ' ' instead of '' because empty div fields don't render
                # correctly in combo results table
                row[fieldname] = value and value or ' '

            if discard is False:
                rows.append(row)

        rows = sorted(rows, cmp=lambda x, y: cmp(
            str(x).lower(), str(y).lower()),
            key=itemgetter(sidx and sidx or 'Title'))
        if sord == 'desc':
            rows.reverse()
        pages = len(rows) / int(nr_rows)
        pages += divmod(len(rows), int(nr_rows))[1] and 1 or 0
        start = (int(page) - 1) * int(nr_rows)
        end = int(page) * int(nr_rows)
        ret = {'page': page,
               'total': pages,
               'records': len(rows),
               'rows': rows[start:end]}

        return json.dumps(ret)

redpajama_set_name: RedPajamaGithub


text:
module SmartAnswer::Calculators
  class PlanAdoptionLeave
    include ActionView::Helpers::DateHelper

    attr_reader :formatted_match_date, :formatted_arrival_date, :formatted_start_date

    def initialize(options = {})
      @match_date = options[:match_date]
      @formatted_match_date = formatted_date(@match_date)
      @arrival_date = options[:arrival_date]
      @formatted_arrival_date = formatted_date(@arrival_date)
      @start_date = options[:start_date]
      @formatted_start_date = formatted_date(@start_date)
    end

    def formatted_date(dt)
      dt.strftime("%d %B %Y")
    end

    def format_date_range(range)
      first = formatted_date(range.first)
      last = formatted_date(range.last)
      (first + " to " + last)
    end

    def distance_start
      distance_of_time_in_words(@arrival_date, @start_date)
    end

    ## borrowed methods

    def earliest_start
      @arrival_date - 14
    end

    def earliest_start_formatted
      formatted_date(earliest_start)
    end

    def expected_week
      sunday = @match_date - @match_date.wday
      saturday = sunday + 6
      sunday..saturday
    end

    def qualifying_week
      expected_week && weeks_later(expected_week, -1)
    end

    def last_qualifying_week_formatted
      formatted_date(qualifying_week.last)
    end

    def period_of_ordinary_leave
      @start_date .. @start_date + 26 * 7
    end

    def period_of_additional_leave
      period_of_ordinary_leave && weeks_later(period_of_ordinary_leave, 26)
    end

    private
      def weeks_later(range, weeks)
        (range.first + weeks * 7) .. (range.last + weeks * 7)
      end

  end
end


text:
'use strict';

Object.defineProperty(exports, "__esModule", {
  value: true
});

var _extends = Object.assign || function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; };

exports.pushParams = pushParams;
exports.popParams = popParams;
exports.withParams = withParams;

var stack = [];

// exported for tests
var target = exports.target = null;
var _setTarget = exports._setTarget = function _setTarget(x) {
  exports.target = target = x;
};

function pushParams() {
  if (target !== null) {
    stack.push(target);
  }
  exports.target = target = {};
}

function popParams() {
  var lastTarget = target;
  var newTarget = exports.target = target = stack.pop() || null;
  if (newTarget) {
    if (!Array.isArray(newTarget.$sub)) {
      newTarget.$sub = [];
    }
    newTarget.$sub.push(lastTarget);
  }
  return lastTarget;
}

function addParams(params) {
  if (typeof params === 'object' && !Array.isArray(params)) {
    exports.target = target = _extends({}, target, params);
  } else {
    throw new Error('params must be an object');
  }
}

function withParamsDirect(params, validator) {
  return withParamsClosure(function (add) {
    return function () {
      add(params);

      for (var _len = arguments.length, args = Array(_len), _key = 0; _key < _len; _key++) {
        args[_key] = arguments[_key];
      }

      return validator.apply(this, args);
    };
  });
}

function withParamsClosure(closure) {
  var validator = closure(addParams);
  return function () {
    pushParams();
    try {
      for (var _len2 = arguments.length, args = Array(_len2), _key2 = 0; _key2 < _len2; _key2++) {
        args[_key2] = arguments[_key2];
      }

      return validator.apply(this, args);
    } finally {
      popParams();
    }
  };
}

function withParams(paramsOrClosure, maybeValidator) {
  if (typeof paramsOrClosure === 'object' && maybeValidator !== undefined) {
    return withParamsDirect(paramsOrClosure, maybeValidator);
  }
  return withParamsClosure(paramsOrClosure);
}


text:
import {
  async,
  inject,
  TestBed,
} from '@angular/core/testing';
import {Component} from '@angular/core';
import {By} from '@angular/platform-browser';
import {RioModal} from './modal.component';
import {RioModalModule} from './modal.module';
import {configureTests} from '../../tests.configure';

describe('Component: Modal', () => {
  let fixture;

  beforeEach(done => {
    const configure = (testBed: TestBed) => {
      testBed.configureTestingModule({
        imports: [
          RioModalModule,
        ],
        declarations: [
          RioModalTestController
        ],
      });
    };

    configureTests(configure).then(testBed => {
      fixture = testBed.createComponent(RioModalTestController);
      fixture.detectChanges();
      done();
    });
  });

  it('should create the component', async(inject([], () => {
    fixture.whenStable().then(() => {
      fixture.autoDetectChanges();
      let query = fixture.debugElement
        .query(By.directive(RioModal));
      expect(query).toBeTruthy();
      expect(query.componentInstance).toBeTruthy();
    });
  })));
});

@Component({
  selector: 'test',
  template: `
    <rio-modal></rio-modal>
  `
})
class RioModalTestController {}


text: A compilation of Meteor docs and articles


text:
struct TRI_vocbase_t;

namespace arangodb {
namespace rest {
class Task;
}

class V8Job : public rest::Job {
  V8Job(V8Job const&) = delete;
  V8Job& operator=(V8Job const&) = delete;

 public:
  V8Job(TRI_vocbase_t*, std::string const&,
        std::shared_ptr<arangodb::velocypack::Builder> const, bool, rest::Task*);
  ~V8Job();

 public:
  void work() override;
  bool cancel() override;
  void cleanup(rest::DispatcherQueue*) override;
  void handleError(basics::Exception const& ex) override;

 public:
  virtual std::string const& getName() const override { return _command; }

 private:
  TRI_vocbase_t* _vocbase;
  std::string const _command;
  std::shared_ptr<arangodb::velocypack::Builder> _parameters;
  std::atomic<bool> _canceled;
  bool const _allowUseDatabase;
  rest::Task* _task;
};
}

#endif


text:
APP_NAME=$1
WAR_PATH=$2

echo "App name: $APP_NAME"
echo "WAR path: $WAR_PATH"

stop-jetty
rm -rf /home/trenders/jetty/current/webapps/*
mv $WAR_PATH /home/trenders/jetty/current/webapps/
start-jetty


text:
package com.google.android.apps.muzei.render;

import android.graphics.Bitmap;
import android.opengl.GLES20;
import android.opengl.GLUtils;

import com.google.android.apps.muzei.util.LogUtil;

import net.nurik.roman.muzei.BuildConfig;

import java.nio.ByteBuffer;
import java.nio.ByteOrder;
import java.nio.FloatBuffer;

import static com.google.android.apps.muzei.util.LogUtil.LOGE;

public class GLUtil {
    private static final String TAG = LogUtil.makeLogTag(GLUtil.class);

    public static final int BYTES_PER_FLOAT = 4;

    public static int loadShader(int type, String shaderCode) {
        // create a vertex shader type (GLES20.GL_VERTEX_SHADER)
        // or a fragment shader type (GLES20.GL_FRAGMENT_SHADER)
        int shaderHandle = GLES20.glCreateShader(type);

        // add the source code to the shader and compile it
        GLES20.glShaderSource(shaderHandle, shaderCode);
        GLES20.glCompileShader(shaderHandle);
        checkGlError("glCompileShader");
        return shaderHandle;
    }

    public static int createAndLinkProgram(int vertexShaderHandle, int fragShaderHandle,
            String[] attributes) {
        int programHandle = GLES20.glCreateProgram();
        GLUtil.checkGlError("glCreateProgram");
        GLES20.glAttachShader(programHandle, vertexShaderHandle);
        GLES20.glAttachShader(programHandle, fragShaderHandle);
        if (attributes != null) {
            final int size = attributes.length;
            for (int i = 0; i < size; i++) {
                GLES20.glBindAttribLocation(programHandle, i, attributes[i]);
            }
        }
        GLES20.glLinkProgram(programHandle);
        GLUtil.checkGlError("glLinkProgram");
        GLES20.glDeleteShader(vertexShaderHandle);
        GLES20.glDeleteShader(fragShaderHandle);
        return programHandle;
    }

    public static int loadTexture(Bitmap bitmap) {
        final int[] textureHandle = new int[1];

        GLES20.glGenTextures(1, textureHandle, 0);
        GLUtil.checkGlError("glGenTextures");

        if (textureHandle[0] != 0) {
            // Bind to the texture in OpenGL
            GLES20.glBindTexture(GLES20.GL_TEXTURE_2D, textureHandle[0]);

            // Set filtering
            GLES20.glTexParameteri(GLES20.GL_TEXTURE_2D, GLES20.GL_TEXTURE_WRAP_S,
                    GLES20.GL_CLAMP_TO_EDGE);
            GLES20.glTexParameteri(GLES20.GL_TEXTURE_2D, GLES20.GL_TEXTURE_WRAP_T,
                    GLES20.GL_CLAMP_TO_EDGE);
            GLES20.glTexParameteri(GLES20.GL_TEXTURE_2D, GLES20.GL_TEXTURE_MIN_FILTER,
                    GLES20.GL_LINEAR);
            GLES20.glTexParameteri(GLES20.GL_TEXTURE_2D, GLES20.GL_TEXTURE_MAG_FILTER,
                    GLES20.GL_LINEAR);

            // Load the bitmap into the bound texture.
            GLUtils.texImage2D(GLES20.GL_TEXTURE_2D, 0, bitmap, 0);
            GLUtil.checkGlError("texImage2D");
        }

        if (textureHandle[0] == 0) {
            LOGE(TAG, "Error loading texture (empty texture handle)");
            if (BuildConfig.DEBUG) {
                throw new RuntimeException("Error loading texture (empty texture handle).");
            }
        }

        return textureHandle[0];
    }

    public static void checkGlError(String glOperation) {
        int error;
        while ((error = GLES20.glGetError()) != GLES20.GL_NO_ERROR) {
            LOGE(TAG, glOperation + ": glError " + error);
            if (BuildConfig.DEBUG) {
                throw new RuntimeException(glOperation + ": glError " + error);
            }
        }
    }

    public static FloatBuffer asFloatBuffer(float[] array) {
        FloatBuffer buffer = newFloatBuffer(array.length);
        buffer.put(array);
        buffer.position(0);
        return buffer;
    }

    public static FloatBuffer newFloatBuffer(int size) {
        FloatBuffer buffer = ByteBuffer.allocateDirect(size * BYTES_PER_FLOAT)
                .order(ByteOrder.nativeOrder())
                .asFloatBuffer();
        buffer.position(0);
        return buffer;
    }
}


text:
require "active_support/concern"
require "action_view/helpers"

module Qiita::Team::Services
  module Helpers
    module HookHelper
      extend ActiveSupport::Concern

      included do
        shared_examples "hook" do
          describe ".service_name" do
            subject do
              described_class.service_name
            end

            it { should be_a String }
          end

          describe ".render_form" do
            subject do
              extend ActionView::Helpers::FormHelper
              extend ActionView::Helpers::FormTagHelper
              extend ActionView::Helpers::FormOptionsHelper
              described_class.render_form(binding)
            end

            it { should be_a String }
          end
        end
      end
    end
  end
end


text:
from django import db

class BuildsetManager(db.Manager):

    def create_for_project(self, project):
        pass


text:
define( [
   'angular',
   './logic_circuit_editor',
   './flatten',
   './circuit_simulator',
   './scheduler',
   'json!logic/data/primitives.json',
   'json!logic/data/dummy_model.json',
   'json!logic/data/dummy_layout.json',
   'text!logic/demo.html'
], function( ng, lcEditorDirective, flatten, simulator, scheduler, primitives, dummyModel, dummyLayout, htmlDemoTemplate ) {
   'use strict';

   var module = ng.module( 'logic-circuit', [ 'nbe' ] )
      .run( [ '$templateCache', function( $templateCache ) {
         $templateCache.put( 'lib/demo.html', htmlDemoTemplate );
      } ] );

   lcEditorDirective.define( module );

   ///////////////////////////////////////////////////////////////////////////////////////////////////////////

   function LogicDemoController( $scope ) {

      $scope.primitives = primitives;
      $scope.model = dummyModel;
      $scope.layout = dummyLayout;
      $scope.messages = [];

      var settings = {
         probeDelay: 0,
         bridgeDelay: 0,
         inverterDelay: 1,
         andGateDelay: 3,
         orGateDelay: 5
      };

      $scope.view = {
         currentComponentId: null,
         newComponentId: null,
         flattened: {
            show: false,
            model: {},
            layout: {}
         }
      };

      $scope.closeEditor = function () {
         $scope.view.currentComponentId = null;
      };

      $scope.createComponent = function () {
         var id = $scope.view.newComponentId;
         $scope.model.components[ id ] = ng.copy( primitives.COMPONENT );
         $scope.view.currentComponentId = id;
         $scope.view.newComponentId = null;
      };

      $scope.flatten = function () {
         var flatModel = flatten( $scope.model.main ).using( $scope.model.components );
         $scope.view.flattened.layout = null;
         $scope.view.flattened.model = flatModel;
         $scope.view.flattened.show = true;
      };

      $scope.run = function () {
         $scope.messages.splice( 0, $scope.messages.length );
         var sim = simulator( scheduler.instant(), settings, log, $scope.model.components );
         $scope.$evalAsync( function () {
            sim.run( $scope.view.flattened.model );
         } );

         function log( msg ) {
            $scope.messages.push( msg );
         }
      };

      $scope.$watch( 'model', function() {
         // reset flattened representation
         $scope.view.flattened.layout = null;
         $scope.view.flattened.model = null;
         $scope.view.flattened.show = false;
         $scope.messages = [];
      }, true );

      $scope.$on( 'lc.interface.added', function( event, iface, port ) {
         forEachInstance( $scope.view.currentComponentId, function( instanceVertex ) {
            instanceVertex.ports[ iface === 'INPUT' ? 'inbound' : 'outbound' ].push( ng.copy( port ) );
         } );
      } );

      $scope.$on( 'lc.interface.removed', function( event, iface ) {
         forEachInstance( $scope.view.currentComponentId, function( instanceVertex ) {
            instanceVertex.ports[ iface === 'INPUT' ? 'inbound' : 'outbound' ].pop();
         } );
      } );

      function forEachInstance( searchId, callback ) {
         handle( $scope.model.main );
         ng.forEach( $scope.model.components, handle );
         function handle( circuit ) {
            ng.forEach( circuit.vertices, function( vertex, id ) {
               if( vertex.label === searchId ) {
                  callback( vertex );
               }
            } );
         }
      }

   }

   ///////////////////////////////////////////////////////////////////////////////////////////////////////////

   module.controller( 'LogicDemoController', [ '$scope', 'nbeIdGenerator', LogicDemoController ] );

   ///////////////////////////////////////////////////////////////////////////////////////////////////////////

   return module;

} );


text:
@interface PodsDummy_PlayingwithFramework : NSObject
@end
@implementation PodsDummy_PlayingwithFramework
@end


text:
{% extends "layout.html" %}

{% block body %}

 {{ post['title'] }}

	{{ post['category'] }}
	{{ post['created'] }}

{{ post['content'] }}

{% end %}


text:
require("httpserver").createServer(80, function(req, res)
  -- analyse method and url
  print("+R", req.method, req.url, node.heap())
  -- setup handler of headers, if any
  req.onheader = function(self, name, value)
    print("+H", name, value)
    -- E.g. look for "content-type" header,
    --   setup body parser to particular format
    -- if name == "content-type" then
    --   if value == "application/json" then
    --     req.ondata = function(self, chunk) ... end
    --   elseif value == "application/x-www-form-urlencoded" then
    --     req.ondata = function(self, chunk) ... end
    --   end
    -- end
  end
  -- setup handler of body, if any
  req.ondata = function(self, chunk)
    print("+B", chunk and #chunk, node.heap())
    if not chunk then
      -- reply
      res:send(nil, 200)
      res:send_header("Connection", "close")
      res:send("Hello, world!\n")
      res:finish()
    end
  end
  -- or just do something not waiting till body (if any) comes
  --res:finish("Hello, world!")
  --res:finish("Salut, monde!")
end)


text:
import { Component } from '@angular/core';

import { NavController } from 'ionic-angular';

// services
import { AuthService } from '../../../providers/auth-service';
import { TransactionData } from '../../../providers/transaction-data';

@Component({
  templateUrl: 'pickpayee.html'
})

export class PickPayeePage {

  searchTerm: string = '';
  transaction;
  payeeList: any;
  loadedPayeeList: any;

  constructor(
      public nav: NavController,
      public auth: AuthService,
      public transactionData: TransactionData) {}

  ionViewDidLoad() {
    this.auth.getAllPayees().on('value', (payees) => {
      let arrpayees = [];
      payees.forEach( spanshot => {
        let payee = spanshot.val();
        let tempPayee = ({
          $key: spanshot.key,
          payeename: payee.payeename
        });
        arrpayees.push(tempPayee);
      });
      this.payeeList = arrpayees;
      this.loadedPayeeList = arrpayees;
      if (this.transactionData.getPayeeName() != '') {
        this.searchTerm = this.transactionData.getPayeeName();
        this.doFilterList(this.searchTerm);
      }
      this.auth.LoadingControllerDismiss();
    });
  }

  initializeItems(){
    this.payeeList = this.loadedPayeeList;
  }

  getItems(searchbar) {

    // Reset items back to all of the items
    this.initializeItems();

    // set q to the value of the searchbar
    var q = searchbar.srcElement.value;

    // if the value is an empty string don't filter the items
    if (!q) {
      return;
    }

    this.doFilterList(q);
  }

  doFilterList (q) {
    this.payeeList = this.payeeList.filter((v) => {
      if(v.payeename && q) {
        if (v.payeename.toLowerCase().indexOf(q.toLowerCase()) > -1) {
          return true;
        }
        return false;
      }
    });
  }

  selectPayee(payee) {
    this.transactionData.setReferrer('PickPayeePage');
    this.transactionData.setPayeeName(payee.payeename);
    this.transactionData.setPayeeID(payee.$key);
    this.goBack();
  }

  goBack() {
    this.nav.pop();
  }

  savePayee() {
    var newPayee = {
        'lastamount': '',
        'lastcategory': '',
        'lastcategoryid': '',
        'payeename': this.searchTerm
    }
    this.auth.addPayee(newPayee);
    this.selectPayee(newPayee);
  }

}


text:
//
//  ICoAPMessage.h
//  iCoAP
//
//  Created by Wojtek Kordylewski on 18.06.13.

/*
 *  This class represents a CoAP-message in the iCoAP iOS library
 */

#import <Foundation/Foundation.h>

/*
 * Type with +4 value for version
 */
typedef enum {
    IC_CONFIRMABLE = 4,
    IC_NON_CONFIRMABLE = 5,
    IC_ACKNOWLEDGMENT = 6,
    IC_RESET = 7
} ICoAPType;

typedef enum {
    IC_GET = 1,
    IC_POST = 2,
    IC_PUT = 3,
    IC_DELETE = 4
} ICoAPRequestMethod;

typedef enum {
    IC_EMPTY = 0,
    IC_CREATED = 65,
    IC_DELETED = 66,
    IC_VALID = 67,
    IC_CHANGED = 68,
    IC_CONTENT = 69,
    IC_BAD_REQUEST = 128,
    IC_UNAUTHORIZED = 129,
    IC_BAD_OPTION = 130,
    IC_FORBIDDEN = 131,
    IC_NOT_FOUND = 132,
    IC_METHOD_NOT_ALLOWED = 133,
    IC_NOT_ACCEPTABLE = 134,
    IC_PRECONDITION_FAILED = 140,
    IC_REQUEST_ENTITY_TOO_LARGE = 141,
    IC_UNSUPPORTED_CONTENT_FORMAT = 143,
    IC_INTERNAL_SERVER_ERROR = 160,
    IC_NOT_IMPLEMENTED = 161,
    IC_BAD_GATEWAY = 162,
    IC_SERVICE_UNAVAILABLE = 163,
    IC_GATEWAY_TIMEOUT = 164,
    IC_PROXYING_NOT_SUPPORTED = 165
} ICoAPResponseCode;

typedef enum {
    IC_IF_MATCH = 1,
    IC_URI_HOST = 3,
    IC_ETAG = 4,
    IC_IF_NONE_MATCH = 5,
    IC_OBSERVE = 6,
    IC_URI_PORT = 7,
    IC_LOCATION_PATH = 8,
    IC_URI_PATH = 11,
    IC_CONTENT_FORMAT = 12,
    IC_MAX_AGE = 14,
    IC_URI_QUERY = 15,
    IC_ACCEPT = 17,
    IC_LOCATION_QUERY = 20,
    IC_BLOCK2 = 23,
    IC_BLOCK1 = 27,
    IC_SIZE2 = 28,
    IC_PROXY_URI = 35,
    IC_PROXY_SCHEME = 39,
    IC_SIZE1 = 60
} ICoAPOption;

@interface ICoAPMessage : NSObject

#pragma mark - Properties

/*
 * 'isRequest':
 *  Indicates if this object is a request (is set automatically).
 *  Only for orientation.
 */
@property (readwrite, nonatomic) BOOL isRequest;

/*
 * 'isTokenRequested':
 *  If set to YES, the object will be assigned a random token
 *  upon passing it to a ICoAPExchange object
 */
@property (readwrite, nonatomic) BOOL isTokenRequested;

/*
 *  'usesHttpProxying':
 *  Tells whether this message is supposed to be sent as HTTP-message
 *  to a HTTP-Proxy (YES), or directly to a CoAP-Server as casual
 *  CoAP-message (NO).
 */
@property (readwrite, nonatomic) BOOL usesHttpProxying;

/*
 *  'httpProxyHost':
 *  The HTTP-Proxy Host (optional).
 */
@property (copy) NSString *httpProxyHost;

/*
 *  'httpProxyPort':
 *  The HTTP-Proxy Port (optional).
 */
@property (readwrite, nonatomic) uint httpProxyPort;

/*
 *  'type':
 *  The CoAP Message Type
 */
@property (readwrite, nonatomic) uint type;

/*
 *  'code':
 *  The CoAP Message Code
 */
@property (readwrite, nonatomic) uint code;

/*
 *  'optionDict':
 *  Dictionary containing all options which belong to this message.
 *  The keys are the option numbers and the values are the respective
 *  option values
 */
@property (strong, nonatomic) NSMutableDictionary *optionDict;

/*
 *  'messageID':
 *  The CoAP Message ID
 */
@property (readwrite, nonatomic) uint messageID;

/*
 *  'token':
 *  the CoAP Message Token. Is set upon passing it to a
 *  ICoAPExchange object, if 'isTokenRequired is set to YES.
 */
@property (readwrite, nonatomic) uint token;

/*
 *  'payload':
 *  The CoAP Message Payload. Not encoded.
 */
@property (copy) NSString *payload;

/*
 *  'host':
 *  CoAP-Host of the CoAP-Message destination/origin.
 */
@property (copy) NSString *host;

/*
 *  'port':
 *  CoAP-Serverport of the CoAP-Message destination/origin.
 */
@property (readwrite, nonatomic) uint port;

/*
 *  'timestamp':
 *  The timestamp, the ICoAPMessage is sent or received.
 */
@property (strong, nonatomic) NSDate *timestamp;

#pragma mark - Methods

/*
 *  'init':
 *  Initialization
 */
- (id)init;

/*
 *  'initAsRequestConfirmable:requestMethod:sendToken:payload':
 *  Initialization with settings.
 */
- (id)initAsRequestConfirmable:(BOOL)con requestMethod:(uint)req sendToken:(BOOL)token payload:(NSString *)payload;

/*
 *  'addOption:withValue'
 *  Adds an option number and its value to the option dictionary.
 *
 *  The "key" of the dictionary: the number of the option.
 *
 *  The "value" of the dictionary: An NSMutableArray of option values
 *  coresponding to the "key" option number
 */
- (void)addOption:(uint)option withValue:(NSString *)value;

@end


text:
import re, pydoc
from distutils.cmd import Command
from distutils.errors import *
from distutils import log
from docutils.core import publish_string, publish_parts
from docutils import nodes
from docutils.nodes import SparseNodeVisitor
from docutils.writers import Writer
import wsgi_intercept
from mechanize import Browser
wiki_word_re = re.compile(r'^[A-Z][a-z]+(?:[A-Z][a-z]+)+')

class WikiWriter(Writer):
    def translate(self):
        visitor = WikiVisitor(self.document)
        self.document.walkabout(visitor)
        self.output = visitor.astext()

class WikiVisitor(SparseNodeVisitor):
    """visits RST nodes and transforms into Moin Moin wiki syntax.

    swiped from the nose project, originally written by Jason Pellerin.
    """
    def __init__(self, document):
        SparseNodeVisitor.__init__(self, document)
        self.list_depth = 0
        self.list_item_prefix = None
        self.indent = self.old_indent = ''
        self.output = []
        self.preformat = False
        self.section_level = 0

    def astext(self):
        return ''.join(self.output)

    def visit_Text(self, node):
        #print "Text", node
        data = node.astext()
        if not self.preformat:
            data = data.lstrip('\n\r')
            data = data.replace('\r', '')
            data = data.replace('\n', ' ')
        self.output.append(data)

    def visit_bullet_list(self, node):
        self.list_depth += 1
        self.list_item_prefix = (' ' * self.list_depth) + '* '

    def depart_bullet_list(self, node):
        self.list_depth -= 1
        if self.list_depth == 0:
            self.list_item_prefix = None
        else:
            self.list_item_prefix = (' ' * self.list_depth) + '* '
        self.output.append('\n\n')

    def visit_list_item(self, node):
        self.old_indent = self.indent
        self.indent = self.list_item_prefix

    def depart_list_item(self, node):
        self.indent = self.old_indent

    def visit_literal_block(self, node):
        self.output.extend(['{{{', '\n'])
        self.preformat = True

    def depart_literal_block(self, node):
        self.output.extend(['\n', '}}}', '\n\n'])
        self.preformat = False

    def visit_doctest_block(self, node):
        self.output.extend(['{{{', '\n'])
        self.preformat = True

    def depart_doctest_block(self, node):
        self.output.extend(['\n', '}}}', '\n\n'])
        self.preformat = False

    def visit_paragraph(self, node):
        self.output.append(self.indent)

    def depart_paragraph(self, node):
        self.output.append('\n')
        if not isinstance(node.parent, nodes.list_item):
            self.output.append('\n')
        if self.indent == self.list_item_prefix:
            # we're in a sub paragraph of a list item
            self.indent = ' ' * self.list_depth

    def visit_reference(self, node):
        if 'refuri' in node:
            href = node['refuri']
        elif 'refid' in node:
            href = '#' + node['refid']
        else:
            href = None
        self.output.append('[' + href + ' ')

    def depart_reference(self, node):
        self.output.append(']')

    def _find_header_level(self, node):
        if isinstance(node.parent, nodes.topic):
            h_level = 2 # ??
        elif isinstance(node.parent, nodes.document):
            h_level = 1
        else:
            assert isinstance(node.parent, nodes.section), (
                "unexpected parent: %s" % node.parent.__class__)
            h_level = self.section_level
        return h_level

    def _depart_header_node(self, node):
        h_level = self._find_header_level(node)
        self.output.append(' %s\n\n' % ('='*h_level))
        self.list_depth = 0
        self.indent = ''

    def _visit_header_node(self, node):
        h_level = self._find_header_level(node)
        self.output.append('%s ' % ('='*h_level))

    def visit_subtitle(self, node):
        self._visit_header_node(node)

    def depart_subtitle(self, node):
        self._depart_header_node(node)

    def visit_title(self, node):
        self._visit_header_node(node)

    def depart_title(self, node):
        self._depart_header_node(node)

    def visit_title_reference(self, node):
        self.output.append("`")

    def depart_title_reference(self, node):
        self.output.append("`")

    def visit_section(self, node):
        self.section_level += 1

    def depart_section(self, node):
        self.section_level -= 1

    def visit_emphasis(self, node):
        self.output.append('*')

    def depart_emphasis(self, node):
        self.output.append('*')

    def visit_literal(self, node):
        self.output.append('`')

    def depart_literal(self, node):
        self.output.append('`')

class publish_docs(Command):
    description = "publish documentation to front page of Google Code project"
    user_options = [
        ('google-user=', None, "Google Code username"),
        ('google-password=', None, "Google Code password"),
    ]
    def initialize_options(self):
        self.google_user = None
        self.google_password = None
    def finalize_options(self):
        if self.google_user is None and self.google_password is None:
            raise DistutilsOptionError("--google-user and --google-password are required")
    def run(self):
        summary, doc = pydoc.splitdoc(wsgi_intercept.__doc__)
        wikidoc = publish_string(doc, writer=WikiWriter())
        print(wikidoc)

        ## Google html is so broken that this isn't working :/

        # br = Browser()
        # br.open('http://code.google.com/p/wsgi-intercept/admin')
        # url = br.geturl()
        # assert url.startswith('https://www.google.com/accounts/Login'), (
        #     "unexpected URL: %s" % url)
        # log.info("logging in to Google Code...")
        # forms = [f for f in br.forms()]
        # assert len(forms)==1, "unexpected forms: %s for %s" % (forms, br.geturl())
        # br.select_form(nr=0)
        # br['Email'] = self.google_user
        # br['Passwd'] = self.google_password
        # admin = br.submit()
        # url = admin.geturl()
        # assert url=='http://code.google.com/p/wsgi-intercept/admin', (
        #     "unexpected URL: %s" % url)
        # br.select_form(nr=0)
        # br['projectdescription'] = wikidoc
        # br.submit()
        # print br.geturl()


text:
module Azure::ApiManagement::Mgmt::V2016_10_10
  module Models
    #
    # Parameters supplied to the Create Property operation.
    #
    class PropertyCreateParameters

      include MsRestAzure

      # @return [String] Unique name of Property. It may contain only letters,
      # digits, period, dash, and underscore characters.
      attr_accessor :name

      # @return [String] Value of the property. Can contain policy expressions.
      # It may not be empty or consist only of whitespace.
      attr_accessor :value

      # @return [Array<String>] Optional tags that when provided can be used to
      # filter the property list.
      attr_accessor :tags

      # @return [Boolean] Determines whether the value is a secret and should
      # be encrypted or not. Default value is false.
      attr_accessor :secret

      #
      # Mapper for PropertyCreateParameters class as Ruby Hash.
      # This will be used for serialization/deserialization.
      #
      def self.mapper()
        {
          client_side_validation: true,
          required: false,
          serialized_name: 'PropertyCreateParameters',
          type: {
            name: 'Composite',
            class_name: 'PropertyCreateParameters',
            model_properties: {
              name: {
                client_side_validation: true,
                required: true,
                serialized_name: 'name',
                constraints: {
                  MaxLength: 256,
                  MinLength: 1,
                  Pattern: '^[A-Z0-9-._]+$'
                },
                type: {
                  name: 'String'
                }
              },
              value: {
                client_side_validation: true,
                required: true,
                serialized_name: 'value',
                constraints: {
                  MaxLength: 4096,
                  MinLength: 1
                },
                type: {
                  name: 'String'
                }
              },
              tags: {
                client_side_validation: true,
                required: false,
                serialized_name: 'tags',
                constraints: {
                  MaxItems: 32
                },
                type: {
                  name: 'Sequence',
                  element: {
                      client_side_validation: true,
                      required: false,
                      serialized_name: 'StringElementType',
                      type: {
                        name: 'String'
                      }
                  }
                }
              },
              secret: {
                client_side_validation: true,
                required: false,
                serialized_name: 'secret',
                type: {
                  name: 'Boolean'
                }
              }
            }
          }
        }
      end
    end
  end
end


text:
<!DOCTYPE html>

  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>Cycle App</title>


text:
package fspatch

import (
	"os"
	"syscall"
	"time"
	"unsafe"
)

func LUtimesNano(path string, atime time.Time, mtime time.Time) error {
	var utimes [2]syscall.Timespec
	utimes[0] = syscall.NsecToTimespec(atime.UnixNano())
	utimes[1] = syscall.NsecToTimespec(mtime.UnixNano())

	var _path *byte
	_path, err := syscall.BytePtrFromString(path)
	if err != nil {
		return err
	}

	if _, _, err := syscall.Syscall(syscall.SYS_LUTIMES, uintptr(unsafe.Pointer(_path)), uintptr(unsafe.Pointer(&utimes[0])), 0); err != 0 {
		return &os.PathError{"chtimes", path, err}
	}

	return nil
}

func UtimesNano(path string, atime time.Time, mtime time.Time) error {
	var utimes [2]syscall.Timespec
	utimes[0] = syscall.NsecToTimespec(atime.UnixNano())
	utimes[1] = syscall.NsecToTimespec(mtime.UnixNano())
	if err := syscall.UtimesNano(path, utimes[0:]); err != nil {
		return &os.PathError{"chtimes", path, err}
	}
	return nil
}


text:
<?xml version="1.0" encoding="utf-8"?>
<manifest xmlns:android="http://schemas.android.com/apk/res/android"
      package="com.andyroxby.android.helloworld0"
      android:versionCode="1"
      android:versionName="1.0">
    <application android:label="@string/app_name" android:icon="@drawable/ic_launcher">
        <activity android:name="MainActivity"
                  android:label="@string/app_name">
            <intent-filter>
                <action android:name="android.intent.action.MAIN" />
                <category android:name="android.intent.category.LAUNCHER" />
            </intent-filter>
        </activity>
    </application>
</manifest>


text:
package com.github.ansell.rdf4j.schemagenerator.test;

import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.StandardCopyOption;

import org.junit.Assert;
import org.junit.Before;
import org.junit.Rule;
import org.junit.Test;
import org.junit.rules.TemporaryFolder;

import com.github.ansell.rdf4j.schemagenerator.RDF4JSchemaGeneratorCore;

/**
 * ...
 * <p/>
 * Author: Thomas Kurz (tkurz@apache.org)
 */
public class SchemaGeneratorPrefixTest {

    @Rule
    public TemporaryFolder temp = new TemporaryFolder();

    private Path output;

    private Path input;

    @Before
    public void setUp() throws Exception {
        input = temp.newFile("schema.rdf").toPath();
        Files.copy(getClass().getResourceAsStream("/schema.rdf"), input,
                StandardCopyOption.REPLACE_EXISTING);

        output = temp.newFile("SCHEMA.java").toPath();
    }

    @Test
    public void testVocabBuilderNoSettings() throws Exception {
        // test without settings
        final RDF4JSchemaGeneratorCore vb = new RDF4JSchemaGeneratorCore(
                input.toAbsolutePath().toString(), (String) null);
        vb.generate(output);

        final int count = Files.readAllLines(output, StandardCharsets.UTF_8).size();

        Assert.assertTrue("prefix was not set properly", count > 10);
    }

    @Test
    public void testVocabBuilderWithSettings() throws Exception {
        // test with settings
        final RDF4JSchemaGeneratorCore vb = new RDF4JSchemaGeneratorCore(
                input.toAbsolutePath().toString(), (String) null);
        vb.setPrefix("http://schema.org/");
        vb.generate(output);

        final int count = Files.readAllLines(output, StandardCharsets.UTF_8).size();

        Assert.assertTrue("prefix was not set properly", count > 10);
    }

}


text:
GitHub to Trello Migration
=========================

__Author:__ Joni Halabi (www.jhalabi.com)

Description
-----------

This page/script allows you to migrate GitHub tickets into Trello.

Prerequisites
--------------------

1. GitHub account with a repository containing tickets.
2. Trello account with a board to.

Notes
--------------------

* To get your GitHub token, log into your account and go to Settings -> Personal access tokens.

* Get your Trello app key from https://trello.com/1/appKey/generate. You must be logged into you Trello account.

* There is a limitation in Trello where comment attribution from another system cannot be carried over.  All comments imported into Trello must be attributed to whomever is logged in (i.e. running this script) at the time.


text:
<!DOCTYPE html>

    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>high-school-geometry: 9 m 24 s 🏆</title>
    <link rel="shortcut icon" type="image/png" href="../../../../../favicon.png" />
    <link href="../../../../../bootstrap.min.css" rel="stylesheet">
    <link href="../../../../../bootstrap-custom.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">

             Coq bench

clean / released

8.11.1 / high-school-geometry - 8.12.0

            « Up

              high-school-geometry

                8.12.0
                9 m 24 s 🏆

📅  (2022-03-25 11:16:21 UTC)

Context

# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
conf-findutils      1           Virtual package relying on findutils
coq                 8.11.1      Formal proof management system
num                 1.4         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.08.1      The OCaml compiler (virtual package)
ocaml-base-compiler 4.08.1      Official release 4.08.1
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.3       A library manager for OCaml
# opam file:
opam-version: "2.0"
maintainer: "palmskog@gmail.com"
homepage: "https://github.com/coq-community/HighSchoolGeometry"
dev-repo: "git+https://github.com/coq-community/HighSchoolGeometry.git"
bug-reports: "https://github.com/coq-community/HighSchoolGeometry/issues"
license: "LGPL-2.1-or-later"
synopsis: "Geometry in Coq for French high school"
description: """
This Coq library is dedicated to high-shool geometry teaching. The
axiomatisation for affine Euclidean space is in a non analytic setting.
Includes a proof of Ptolemy's theorem."""
build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
  "coq" {>= "8.11" & < "8.13~"}
]
tags: [
  "category:Mathematics/Geometry/General"
  "keyword:geometry"
  "keyword:teaching"
  "keyword:high school"
  "keyword:Ptolemy's theorem"
  "logpath:HighSchoolGeometry"
  "date:2020-10-19"
]
authors: [
  "Frédérique Guilhot"
  "Tuan-Minh Pham"
]
url {
  src: "https://github.com/coq-community/HighSchoolGeometry/archive/v8.12.tar.gz"
  checksum: "sha512=9ea14ee20c690e844f8180c270c1e99985bd2d3128f61be1948c1eef9dfc8870f7c45553f1f6b4d7a3f9354900ce110f9eddba9f7a05abae85db160ad8f438b8"
}

Lint

Command

true

Return code

0

Dry install 🏜

Dry install with the current Coq version:

Command

opam install -y --show-action coq-high-school-geometry.8.12.0 coq.8.11.1

Return code

0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command

true

Return code

0

Install dependencies

Command

opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-high-school-geometry.8.12.0 coq.8.11.1

Return code

0

Duration

11 s

Install 🚀

Command

opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-high-school-geometry.8.12.0 coq.8.11.1

Return code

0

Duration

9 m 24 s

Installation size

Total: 11 M

237 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_morley.glob

215 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/metrique_triangle.glob

164 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/contact.glob

160 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orientation.glob

150 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/barycentre.glob

148 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_droites.glob

142 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_vecteurs.glob

140 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/operations_complexes.glob

136 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orientation.vo

133 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/barycentre.vo

129 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/contact.vo

125 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cocyclicite.glob

125 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/reflexion_plane.glob

123 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_droites.glob

121 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_inversion.glob

118 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/trigo.glob

117 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/triangles_semblables.glob

117 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_morley.vo

117 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/aire_signee.glob

116 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/inversion.vo

114 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plans_paralleles.vo

114 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_espace.vo

113 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/parallelisme_concours.glob

110 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/affine_classiques.vo

110 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/parallelisme_concours.vo

109 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/reflexion_plane.vo

109 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/aire_signee.vo

107 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/applications_cocyclicite.glob

104 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_transformations.glob

103 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/dilatations.vo

103 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/metrique_triangle.vo

103 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/inversion.glob

102 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/triangles_semblables.vo

101 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/operations_complexes.vo

101 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/trigo.vo

99 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/dilatations.glob

96 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_plan_espace.vo

96 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_vecteurs.vo

94 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cocyclicite.vo

94 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/affine_classiques.glob

92 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Ptolemee.vo

91 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_reflexions.vo

90 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/formes_complexes.vo

90 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/milieu.vo

89 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/coplanarite.vo

87 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_transformations.vo

87 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/transformations_contact.glob

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_droites.vo

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homoth_Euler.vo

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/representant_unitaire.vo

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/alignement.vo

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_dilatations.glob

84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_droites.vo

83 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/applications_cocyclicite.vo

82 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/vecteur.vo

81 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/formes_complexes.glob

80 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plans_paralleles.glob

80 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_translation_rotation.vo

79 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_inversion.vo

79 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_espace.glob

78 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mediatrice.vo

77 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite.vo

76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthocentre.vo

75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/rotation_plane.vo

75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_cercles.glob

75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plan_espace.vo

74 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/euclidien_classiques.vo

72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/transformations_contact.vo

71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Field_affine.vo

71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_conjugaison.vo

71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_dilatations.vo

71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homothetie_plane.vo

71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_plan_espace.glob

70 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/distance_euclidienne.vo

70 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_similitudes.glob

69 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_reflexions.glob

68 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_dilatations.vo

67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_translation_rotation.glob

67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mesure_algebrique.vo

67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complements_cercle.vo

65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/similitudes_directes.vo

65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_plan.vo

65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/puissance_cercle.vo

65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_dilatations.glob

65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cercle.vo

64 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Ptolemee.glob

64 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/rotation_plane.glob

63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_espace.vo

63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_similitudes.vo

62 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/representant_unitaire.glob

61 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Rutile.vo

61 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_ortho_plan.vo

60 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/similitudes_directes.glob

60 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/isocele.vo

59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_transformations.vo

59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/droite_Euler.vo

58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes.vo

58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/determinant.vo

58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_conjugaison.glob

58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plan_espace.glob

58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_analytique.vo

57 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/produit_scalaire.vo

57 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homoth_Euler.glob

56 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_cercles.vo

55 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite_espace.vo

53 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/projection_orthogonale.vo

52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_transformations.glob

52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_analytique.glob

51 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite.glob

51 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homothetie_plane.glob

50 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_exercice.vo

49 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mediatrice.glob

48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/euclidien_classiques.glob

44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/milieu.glob

43 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthocentre.glob

40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/determinant.glob

39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/isocele.glob

36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/alignement.glob

36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/distance_euclidienne.glob

34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite_espace.glob

34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/vecteur.glob

34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/produit_scalaire.glob

34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_plan.glob

33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/coplanarite.glob

33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mesure_algebrique.glob

32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orientation.v

32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes.glob

32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complements_cercle.glob

31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_exercice.glob

30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Rutile.glob

30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Field_affine.glob

29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cercle.glob

29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/puissance_cercle.glob

28 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_ortho_plan.glob

28 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/metrique_triangle.v

26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_morley.v

26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_espace.glob

26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/reflexion_plane.v

23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/contact.v

23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/trigo.v

22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_vecteurs.v

22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/operations_complexes.v

21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/triangles_semblables.v

21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cocyclicite.v

20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_droites.v

20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/angles_droites.v

20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/aire_signee.v

19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/applications_cocyclicite.v

19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/inversion.v

19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/projection_orthogonale.glob

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/dilatations.v

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/formes_complexes.v

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plans_paralleles.v

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_transformations.v

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/barycentre.v

18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/transformations_contact.v

17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/parallelisme_concours.v

17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_translation_rotation.v

16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_inversion.v

16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/affine_classiques.v

15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/rotation_plane.v

15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/droite_Euler.glob

15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_dilatations.v

14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/representant_unitaire.v

14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/exercice_espace.v

14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_reflexions.v

13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Ptolemee.v

13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Plan_espace.v

13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/similitudes_directes.v

13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homoth_Euler.v

12 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_plan_espace.v

12 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_similitudes.v

11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mediatrice.v

11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_conjugaison.v

10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthocentre.v

10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_transformations.v

10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite.v

9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/milieu.v

9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/alignement.v

9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/composee_dilatations.v

9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/homothetie_plane.v

8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/puissance_cercle.v

8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/euclidien_classiques.v

8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complements_cercle.v

8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/determinant.v

8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/cercle.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/vecteur.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/distance_euclidienne.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/isocele.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/equations_cercles.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_ortho_plan.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/orthogonalite_espace.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_analytique.v

7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/coplanarite.v

6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/produit_scalaire.v

6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Field_affine.v

6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Rutile.v

6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/repere_plan.v

6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/complexes_exercice.v

5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/mesure_algebrique.v

5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/Droite_espace.v

4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/droite_Euler.v

4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/HighSchoolGeometry/projection_orthogonale.v

Uninstall 🧹

Command

opam remove -y coq-high-school-geometry.8.12.0

Return code

0

Missing removes

                none

Wrong removes

                none

          Sources are on GitHub © Guillaume Claret 🐣