private IEnumerable<IStatement> getCodeForSettingCheckedState(ControlInfoStructure controlInfo) {
    //  IList<IStatement> code = new List<IStatement>();
    //  BoundExpression boundControl = makeBoundControlFromControlInfo(controlInfo);
    //  MethodCall setCheckStateCall= new MethodCall() {
    //    IsStaticCall = false,
    //    IsVirtualCall = true,
    //    IsTailCall = false,
    //    Type = ((Microsoft.Cci.Immutable.PlatformType) host.PlatformType).SystemVoid,
    //    MethodToCall = isCheckedSetter,
    //    ThisArgument = boundControl,
    //  };

    //  setCheckStateCall.Arguments.Add(controlInfo.IsChecked ? trueConstant : falseConstant);
    //  ExpressionStatement callStmt = new ExpressionStatement() {
    //    Expression = setCheckStateCall,
    //  };
    //  code.Add(callStmt);
    //  return code;
      return new List<IStatement>();
    }
    private IEnumerable<IStatement> getCodeForSettingVisibility(ControlInfoStructure controlInfo) {
      // TODO I do not want to import System.Windows into this project...and using the underlying uint won't work for dependency properties
      /*
      IList<IStatement> code = new List<IStatement>();
      BoundExpression boundControl = makeBoundControlFromControlInfo(controlInfo);
      MethodCall setVisibilityCall= new MethodCall() {
        IsStaticCall = false,
        IsVirtualCall = true,
        IsTailCall = false,
        Type = ((Microsoft.Cci.Immutable.PlatformType) host.PlatformType).SystemVoid,
        MethodToCall = visibilitySetter,
        ThisArgument = boundControl,
      };

      ITypeReference visibilityType= ((Microsoft.Cci.Immutable.PlatformType) host.PlatformType).CreateReference(phoneSystemWindowsAssembly, "System", "Windows", "Visibility");

      switch (controlInfo.Visible) {
        case Visibility.Visible:
          setVisibilityCall.Arguments.Add(new CompileTimeConstant() {
            Type = visibilityType,
            Value = 0,
          } ); // Visible
          break;
        case Visibility.Collapsed:
          setVisibilityCall.Arguments.Add(new CompileTimeConstant() {
            Type = visibilityType,
            Value = 1,
          } ); // Collapsed
          break;
        default:
          throw new ArgumentException("Invalid visibility value for control " + controlInfo.Name + ": " + controlInfo.Visible);
      }
      
      ExpressionStatement callStmt = new ExpressionStatement() {
        Expression = setVisibilityCall,
      };
      code.Add(callStmt);
      return code;
       * */
      return new List<IStatement>();
    }
    private IEnumerable<IStatement> getCodeForSettingEnabledness(ControlInfoStructure controlInfo) {
      IList<IStatement> code = new List<IStatement>();
      BoundExpression boundControl = makeBoundControlFromControlInfo(controlInfo);
      MethodCall setEnablednessCall = new MethodCall() {
        IsStaticCall = false,
        IsVirtualCall = true,
        IsTailCall = false,
        Type = ((Microsoft.Cci.Immutable.PlatformType) host.PlatformType).SystemVoid,
        MethodToCall = isEnabledSetter,
        ThisArgument = boundControl,
      };

      setEnablednessCall.Arguments.Add(controlInfo.IsEnabled ? trueConstant : falseConstant);
      ExpressionStatement callStmt = new ExpressionStatement() {
        Expression = setEnablednessCall,
      };
      code.Add(callStmt);
      return code;
    }
 private BoundExpression makeBoundControlFromControlInfo(ControlInfoStructure controlInfo) {
   return new BoundExpression() {
     Definition = new FieldDefinition() {
       ContainingTypeDefinition = methodBeingTraversed.Container,
       Name = host.NameTable.GetNameFor(controlInfo.Name),
       Type = getTypeForClassname(controlInfo.ClassName),
       IsStatic = false,
     },
     Instance = new ThisReference() { Type = methodBeingTraversed.Container },
     Type=getTypeForClassname(controlInfo.ClassName),
   };
 }
Exemplo n.º 5
0
        private void LoadControlStructure(StreamReader configStream)
        {
            // FEEDBACK TODO. Easy check on Feedback issue: Button and HyperLinkButton MUST have a Click handler, if not, it is obvious there is no feedback

            // TODO it would be nice to have some kind of dynamic definition of config format
            // TODO for now remember that config format is CSV
            // TODO each line is <pageClassName>,<pageXAMLPath>,<pageBoogieStringName>,<controlClassName>,<controlName>,<IsEnabledValue>,<VisibilityValue>,<ClickValue>,<CheckedValue>,<UncheckedValue>,<BPL control name>
            // TODO BPL control name will most probably be empty, but it is useful to be able to dump it
            // TODO check PhoneControlsExtractor.py and PhoneBoogieCodeCreator.py

            // TODO the page.xaml value is saved with no directory information: if two pages exist with same name but different directories it will treat them as the same
            // TODO I'm not handling this for now, and I won't be handling relative/absolute URI either for now

            string pageClass, pageXAML, pageBoogieStringName, controlClass, controlName, enabled, visibility, clickHandler, checkedHandler,
                   uncheckedHandler, selectionChangedHandler, bplName;
            string configLine = configStream.ReadLine();

            string[]             inputLine;
            PageStructure        pageStr;
            ControlInfoStructure controlInfoStr;

            // first line just states the main page xaml
            string mainPageXAML = configLine.Trim().ToLower();

            configLine = configStream.ReadLine();

            // second line states boogie current nav variable, possibly dummy value
            setBoogieNavigationVariable(configLine.Trim());
            configLine = configStream.ReadLine();

            // third line is main phone app type, possibly dummy;
            setMainAppTypeName(configLine.Trim());
            configLine = configStream.ReadLine();

            while (configLine != null)
            {
                if (configLine.Trim().Equals(string.Empty))
                {
                    configLine = configStream.ReadLine();
                    continue;
                }
                inputLine = configLine.Split(',');

                if (inputLine.Length != CONFIG_LINE_FIELDS)
                {
                    throw new ArgumentException("Config input line contains wrong number of fields: " + inputLine.Length + ", expected " + CONFIG_LINE_FIELDS);
                }

                pageClass            = inputLine[PAGE_CLASS_FIELD].Trim();
                pageXAML             = inputLine[PAGE_XAML_FIELD].Trim().ToLower();
                pageBoogieStringName = inputLine[PAGE_BOOGIE_STRING_FIELD].Trim();
                controlClass         = inputLine[CONTROL_CLASS_FIELD].Trim();
                controlName          = inputLine[CONTROL_NAME_FIELD].Trim();
                if (string.IsNullOrEmpty(controlName))
                {
                    controlName = BOOGIE_DUMMY_CONTROL + dummyControlNameIndex++;
                }

                enabled                 = inputLine[ENABLED_FIELD].Trim();
                visibility              = inputLine[VISIBILITY_FIELD].Trim();
                clickHandler            = inputLine[CLICK_HANDLER_FIELD].Trim();
                checkedHandler          = inputLine[CHECKED_HANDLER_FIELD].Trim();
                uncheckedHandler        = inputLine[UNCHECKED_HANDLER_FIELD].Trim();
                selectionChangedHandler = inputLine[SELECTIONCHANGED_HANDLER_FIELD].Trim();
                bplName                 = inputLine[BPL_NAME_FIELD].Trim();

                try {
                    pageStr = pageStructureInfo[pageClass];
                } catch (KeyNotFoundException) {
                    pageStr = new PageStructure();
                    pageStr.PageClassName  = pageClass;
                    pageStr.PageXAML       = pageXAML;
                    pageStr.PageBoogieName = pageBoogieStringName;
                    pageStr.IsMainPage     = false;
                }

                controlInfoStr = pageStr.getControlInfo(controlName);
                if (controlInfoStr == null)
                {
                    controlInfoStr           = new ControlInfoStructure();
                    controlInfoStr.Name      = controlName;
                    controlInfoStr.ClassName = controlClass;
                    controlInfoStr.BplName   = bplName;
                }
                controlInfoStr.IsEnabled = enabled.ToLower() == "false" ? false : true;
                controlInfoStr.Visible   = visibility == "Collapsed" ? Visibility.Collapsed : Visibility.Visible;
                controlInfoStr.setHandler(Event.Click, clickHandler);
                controlInfoStr.setHandler(Event.Checked, checkedHandler);
                controlInfoStr.setHandler(Event.Unchecked, uncheckedHandler);
                controlInfoStr.setHandler(Event.SelectionChanged, selectionChangedHandler);

                pageStr.setControlInfo(controlName, controlInfoStr);
                pageStructureInfo[pageClass] = pageStr;
                configLine = configStream.ReadLine();
            }

            setPageAsMainPage(mainPageXAML);
        }
Exemplo n.º 6
0
 public void setControlInfo(string controlName, ControlInfoStructure controlInfo)
 {
     controlsInfo[controlName] = controlInfo;
 }
 public void setControlInfo(string controlName, ControlInfoStructure controlInfo) {
   controlsInfo[controlName] = controlInfo;
 }
    private void LoadControlStructure(StreamReader configStream) {
      // FEEDBACK TODO. Easy check on Feedback issue: Button and HyperLinkButton MUST have a Click handler, if not, it is obvious there is no feedback

      // TODO it would be nice to have some kind of dynamic definition of config format
      // TODO for now remember that config format is CSV
      // TODO each line is <pageClassName>,<pageXAMLPath>,<pageBoogieStringName>,<controlClassName>,<controlName>,<IsEnabledValue>,<VisibilityValue>,<ClickValue>,<CheckedValue>,<UncheckedValue>,<BPL control name>
      // TODO BPL control name will most probably be empty, but it is useful to be able to dump it
      // TODO check PhoneControlsExtractor.py and PhoneBoogieCodeCreator.py

      // TODO the page.xaml value is saved with no directory information: if two pages exist with same name but different directories it will treat them as the same
      // TODO I'm not handling this for now, and I won't be handling relative/absolute URI either for now

      string pageClass, pageXAML, pageBoogieStringName, controlClass, controlName, enabled, visibility, clickHandler, checkedHandler,
             uncheckedHandler, selectionChangedHandler, bplName;
      string configLine = configStream.ReadLine();
      string[] inputLine;
      PageStructure pageStr;
      ControlInfoStructure controlInfoStr;

      // first line just states the main page xaml
      string mainPageXAML= configLine.Trim().ToLower();
      configLine = configStream.ReadLine();

      // second line states boogie current nav variable, possibly dummy value
      setBoogieNavigationVariable(configLine.Trim());
      configLine= configStream.ReadLine();

      // third line is main phone app type, possibly dummy;
      setMainAppTypeName(configLine.Trim());
      configLine = configStream.ReadLine();

      while (configLine != null) {
        if (configLine.Trim().Equals(string.Empty)) {
          configLine = configStream.ReadLine();
          continue;
        }
        inputLine = configLine.Split(',');

        if (inputLine.Length != CONFIG_LINE_FIELDS)
          throw new ArgumentException("Config input line contains wrong number of fields: " + inputLine.Length + ", expected " + CONFIG_LINE_FIELDS);

        pageClass = inputLine[PAGE_CLASS_FIELD].Trim();
        pageXAML = inputLine[PAGE_XAML_FIELD].Trim().ToLower();
        pageBoogieStringName = inputLine[PAGE_BOOGIE_STRING_FIELD].Trim();
        controlClass = inputLine[CONTROL_CLASS_FIELD].Trim();
        controlName = inputLine[CONTROL_NAME_FIELD].Trim();
        if (string.IsNullOrEmpty(controlName))
          controlName = BOOGIE_DUMMY_CONTROL + dummyControlNameIndex++;

        enabled = inputLine[ENABLED_FIELD].Trim();
        visibility = inputLine[VISIBILITY_FIELD].Trim();
        clickHandler = inputLine[CLICK_HANDLER_FIELD].Trim();
        checkedHandler = inputLine[CHECKED_HANDLER_FIELD].Trim();
        uncheckedHandler = inputLine[UNCHECKED_HANDLER_FIELD].Trim();
        selectionChangedHandler = inputLine[SELECTIONCHANGED_HANDLER_FIELD].Trim();
        bplName = inputLine[BPL_NAME_FIELD].Trim();

        try {
          pageStr = pageStructureInfo[pageClass];
        } catch (KeyNotFoundException) {
          pageStr = new PageStructure();
          pageStr.PageClassName = pageClass;
          pageStr.PageXAML = pageXAML;
          pageStr.PageBoogieName = pageBoogieStringName;
          pageStr.IsMainPage = false;
        }

        controlInfoStr= pageStr.getControlInfo(controlName);
        if (controlInfoStr == null) {
          controlInfoStr = new ControlInfoStructure();
          controlInfoStr.Name = controlName;
          controlInfoStr.ClassName = controlClass;
          controlInfoStr.BplName = bplName;
        }
        controlInfoStr.IsEnabled = enabled.ToLower() == "false" ? false : true;
        controlInfoStr.Visible = visibility == "Collapsed" ? Visibility.Collapsed : Visibility.Visible;
        controlInfoStr.setHandler(Event.Click, clickHandler);
        controlInfoStr.setHandler(Event.Checked, checkedHandler);
        controlInfoStr.setHandler(Event.Unchecked, uncheckedHandler);
        controlInfoStr.setHandler(Event.SelectionChanged, selectionChangedHandler);

        pageStr.setControlInfo(controlName, controlInfoStr);
        pageStructureInfo[pageClass] = pageStr;
        configLine = configStream.ReadLine();
      }

      setPageAsMainPage(mainPageXAML);
    }