Esempio n. 1
0
function displayElevatorShaft($building)
{
    $elevator = $building->getElevator(0);
    ?>
<table class="elevatorshaft"><?php 
    foreach ($building->getFloorsReversed() as $aFloor) {
        if ($elevator->getFloor() == $aFloor) {
            ?>
<tr><td><div class="leftdoor" <?php 
            echo doorWidth($elevator);
            ?>
></div><div class="rightdoor" <?php 
            echo doorWidth($elevator);
            ?>
></div></td><?php 
            displayButtons($aFloor);
            displayPeople($aFloor);
            ?>
</tr><?php 
        } else {
            ?>
<tr><td></td><?php 
            displayButtons($aFloor);
            displayPeople($aFloor);
            ?>
</tr><?php 
        }
    }
    ?>
</table><?php 
}
Esempio n. 2
0
        function displayForm($optionList, $Opts, $Open = True, $Body = True, $Close = True, $NoTable = True)
        {
            if ($Open) {
                if ($NoTable) {
                    ?>
<div class="wrap">
 <form name="form1" method="post" action="<?php 
                    echo str_replace('%7E', '~', $_SERVER['REQUEST_URI']);
                    ?>
">
<?php 
                } else {
                    ?>
<table class="form-table">
<?php 
                }
            }
            if ($Body) {
                // Loop through the options table, display a row for each.
                foreach ($optionList as $optName => $optDetails) {
                    $option_id = ' id="' . $optName . '" ';
                    if (!isset($Opts[$optName])) {
                        $Opts[$optName] = isset($optDetails['Default']) ? $optDetails['Default'] : '';
                    }
                    if ($optDetails['Type'] == 'checkbox') {
                        // Insert a Check Box Item
                        //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                        $hint = isset($optDetails['Hint']) ? $optDetails['Hint'] : '';
                        $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                        $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                        $script = isset($optDetails['Script']) ? ' onClick="' . $optDetails['Script'] . '" ' : '';
                        $readonly = isset($optDetails['Read_Only']) ? 'readonly disabled ' : '';
                        ?>
   <div style="position:absolute"><span <?php 
                        echo $option_id;
                        ?>
></span> </div>
   <dl <?php 
                        echo $class;
                        ?>
>
    <dt class="al_label"><label for="<?php 
                        echo $optName;
                        ?>
"><?php 
                        echo $optDetails['Name'];
                        ?>
</label></dt>
    <dd class="al_opt_details">
      <input style="margin-top:2px;float:left" <?php 
                        echo $readonly . $id . ' ' . $script;
                        ?>
 name="<?php 
                        echo $optName;
                        ?>
" title="<?php 
                        echo stripslashes($hint);
                        ?>
" type="checkbox" value="<?php 
                        echo ($Opts[$optName] >= 1) + 1;
                        ?>
" <?php 
                        checked($Opts[$optName] >= 1);
                        ?>
/>&nbsp;
      <?php 
                        if (isset($optDetails['Input'])) {
                            $this->displayInput($optionList[$Details['Input']], $Details['Input'], $Opts);
                        }
                        ?>
      <?php 
                        if (isset($optDetails['Buttons'])) {
                            displayButtons($optDetails['Buttons']);
                        }
                        ?>
      <?php 
                        if (isset($optDetails['Description'])) {
                            echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                        }
                        ?>
    </dd>
   </dl>
<?php 
                    } else {
                        if ($optDetails['Type'] == 'selection') {
                            // Insert a Dropdown Box Item
                            //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                            $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '" ' : '';
                            $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                            $hint = isset($optDetails['Hint']) ? ' title = "' . $optDetails['Hint'] . '"' : '';
                            $readonly = isset($optDetails['Read_Only']) ? 'readonly disabled ' : '';
                            ?>
   <dl <?php 
                            echo $option_id . $class;
                            ?>
>
    <dt class="al_label"><label for="<?php 
                            echo $optName;
                            ?>
"><?php 
                            echo $optDetails['Name'];
                            ?>
</label></dt>
    <dd class="al_opt_details">
     <div class="al_input">
      <select <?php 
                            echo $readonly . $id . $hint;
                            ?>
 style="width:200px;" name="<?php 
                            echo $optName;
                            ?>
" class='postform'>
        <?php 
                            foreach ($optDetails['Options'] as $Value => $Details) {
                                if (is_array($Details)) {
                                    $Name = $Details['Name'];
                                    $hint = isset($Details['Hint']) ? ' title = "' . $Details['Hint'] . '"' : '';
                                } else {
                                    $Name = $Details;
                                    $Value = $Details;
                                }
                                echo "<option value='{$Value}' {$hint} " . selected($Opts[$optName], $Value, False) . " >" . $Name . "</option>";
                            }
                            ?>
      </select>
     </div>
     <?php 
                            if (isset($optDetails['Buttons'])) {
                                $this->displayButtons($optDetails['Buttons']);
                            }
                            ?>
     <?php 
                            if (isset($optDetails['Description'])) {
                                echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                            }
                            ?>
    </dd>
   </dl>

<?php 
                        } else {
                            if ($optDetails['Type'] == 'textbox') {
                                // Insert a Text Edit Box Item
                                //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                $id = isset($optDetails['Id']) ? ' id="' . $optDetails['Id'] . '" ' : '';
                                $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                $rows = isset($optDetails['Rows']) ? ' rows="' . $optDetails['Rows'] . '" ' : '';
                                $input_class = 'class="' . (isset($optDetails['Input_Class']) ? $optDetails['Input_Class'] . '" ' : 'al_fixed_width_wide" ');
                                $readonly = isset($optDetails['Read_Only']) ? 'readonly ' : '';
                                $readonly .= isset($optDetails['Disabled']) ? 'disabled ' : '';
                                ?>
   <dl <?php 
                                echo $option_id . $class;
                                ?>
>
    <dt class="al_label"><label for="<?php 
                                echo $optName;
                                ?>
"><?php 
                                echo $optDetails['Name'];
                                ?>
</label></dt>
    <dd class="al_opt_details">
     <div class="al_input">
      <textarea <?php 
                                echo $input_class . $readonly . $id . $rows;
                                ?>
 name="<?php 
                                echo $optName;
                                ?>
" class='postform'><?php 
                                echo $Opts[$optName];
                                ?>
</textarea>
     </div>
     <?php 
                                if (isset($optDetails['Buttons'])) {
                                    $this->displayButtons($optDetails['Buttons']);
                                }
                                ?>
     <?php 
                                if (isset($optDetails['Description'])) {
                                    echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                }
                                ?>
    </dd>
   </dl>

<?php 
                            } else {
                                if ($optDetails['Type'] == 'radio') {
                                    // Insert a Radio Selection
                                    //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                    $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                    $readonly = isset($optDetails['Read_Only']) ? 'readonly disabled ' : '';
                                    ?>
   <dl <?php 
                                    echo $option_id . $class;
                                    ?>
>
    <dt class="al_label"><label for="<?php 
                                    echo $optName;
                                    ?>
"><?php 
                                    echo $optDetails['Name'];
                                    ?>
</label>
    <dd class="al_opt_details">
       <div class="al_input">
       <ul>
        <?php 
                                    foreach ($optDetails['Options'] as $Value => $Details) {
                                        if (is_array($Details)) {
                                            $Name = $Details['Name'];
                                            $id = isset($Details['Id']) ? 'id="' . $Details['Id'] . '"' : '';
                                        } else {
                                            $Name = $Details;
                                            $Value = $Details;
                                            $id = '';
                                        }
                                        echo "<li><input style='margin-top:2px' " . $readonly . $id . " name='{$optName}' type='radio' value='{$Value}' " . checked($Opts[$optName], $Value, False) . " >" . $Name;
                                        if (isset($Details['Input'])) {
                                            $this->displayInput($optionList[$Details['Input']], $Details['Input'], $Opts);
                                        }
                                        echo "</li>\n";
                                    }
                                    ?>
       </ul>
      </div>
      <?php 
                                    if (isset($optDetails['Buttons'])) {
                                        $this->displayButtons($optDetails['Buttons']);
                                    }
                                    ?>
      <?php 
                                    if (isset($optDetails['Description'])) {
                                        echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                    }
                                    ?>
    </dd>
   </dl>

<?php 
                                } else {
                                    if ($optDetails['Type'] == 'buttons') {
                                        // Insert a set of Buttons
                                        //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                        $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                        ?>
    <div <?php 
                                        echo $option_id . $class;
                                        ?>
>
       <?php 
                                        $this->displayButtons($optDetails['Buttons']);
                                        ?>
<br />
      <?php 
                                        if (isset($optDetails['Description'])) {
                                            echo '<div style="font-size:80%;clear:both">' . $optDetails['Description'] . '</div>';
                                        }
                                        ?>
    </div>

<?php 
                                    } else {
                                        if ($optDetails['Type'] == 'hidden') {
                                            // Insert a hidden Item
                                            //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                            $Value = isset($optDetails['Value']) ? $optDetails['Value'] : $Opts[$optName];
                                            $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                                            ?>
    <input <?php 
                                            echo $id;
                                            ?>
 name="<?php 
                                            echo $optName;
                                            ?>
" type="hidden" value="<?php 
                                            echo $Value;
                                            ?>
" />
<?php 
                                        } else {
                                            if ($optDetails['Type'] == 'text') {
                                                // Insert a Text Item
                                                //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                $size = isset($optDetails['Size']) ? $optDetails['Size'] : '20';
                                                $hint = isset($optDetails['Hint']) ? $optDetails['Hint'] : '';
                                                $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                                                $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                                $input_class = 'class="' . (isset($optDetails['Input_Class']) ? $optDetails['Input_Class'] . '" ' : 'al_fixed_width" ');
                                                $readonly = isset($optDetails['Read_Only']) ? 'readonly ' : '';
                                                $readonly .= isset($optDetails['Disabled']) ? 'disabled ' : '';
                                                if ($NoTable) {
                                                    ?>
   <dl <?php 
                                                    echo $option_id . $class;
                                                    ?>
>
    <dt class="al_label"><span><label for="<?php 
                                                    echo $optName;
                                                    ?>
"> <?php 
                                                    echo $optDetails['Name'];
                                                    ?>
</label></span></dt>
    <dd class="al_opt_details">
     <div class="al_input">
      <input <?php 
                                                    echo $input_class . $readonly . $id;
                                                    ?>
 name="<?php 
                                                    echo $optName;
                                                    ?>
" title="<?php 
                                                    echo stripslashes($hint);
                                                    ?>
" type="text" value="<?php 
                                                    echo $Opts[$optName];
                                                    ?>
" size="<?php 
                                                    echo $size;
                                                    ?>
" />
     </div>
     <?php 
                                                    if (isset($optDetails['Options'])) {
                                                        $this->displayForm($optDetails['Options'], $Opts, False, True, False);
                                                    }
                                                    ?>
     <?php 
                                                    if (isset($optDetails['Buttons'])) {
                                                        $this->displayButtons($optDetails['Buttons']);
                                                    }
                                                    ?>
     <?php 
                                                    if (isset($optDetails['Description'])) {
                                                        echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                                    }
                                                    ?>
    </dd>
   </dl>

<?php 
                                                } else {
                                                    ?>
<tr><th><label for="<?php 
                                                    echo $optName;
                                                    ?>
"> <?php 
                                                    echo $optDetails['Name'];
                                                    ?>
</label></th>
 <td>
  <input style="width:200px" <?php 
                                                    echo $id;
                                                    ?>
 name="<?php 
                                                    echo $optName;
                                                    ?>
" title="<?php 
                                                    echo stripslashes($hint);
                                                    ?>
" type="text" value="<?php 
                                                    echo $Opts[$optName];
                                                    ?>
" size="<?php 
                                                    echo $size;
                                                    ?>
" />
  <?php 
                                                    if (isset($optDetails['Description'])) {
                                                        echo '<span class="description">' . $optDetails['Description'] . '</span>';
                                                    }
                                                    ?>
 </td>
</tr>

<?php 
                                                }
                                            } else {
                                                if ($optDetails['Type'] == 'nonce') {
                                                    // Insert a Nonce Item
                                                    //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                    if (isset($optDetails['Action'])) {
                                                        $action = $optDetails['Action'];
                                                        $name = $optDetails['Value'];
                                                    } else {
                                                        $action = $optDetails['Value'];
                                                        $name = '_wpnonce';
                                                    }
                                                    $referer = isset($optDetails['Referer']) ? $optDetails['Referer'] : true;
                                                    $echo = isset($optDetails['Echo']) ? $optDetails['Echo'] : true;
                                                    wp_nonce_field($action, $name, $referer, $echo);
                                                } else {
                                                    if ($optDetails['Type'] == 'title') {
                                                        $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                                                        // Insert a Title Item
                                                        //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                        $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                                        if (isset($optDetails['Title_Class'])) {
                                                            $Title = '<div ' . $id . ' class="' . $optDetails['Title_Class'] . '">' . $optDetails['Value'] . '</div>';
                                                        } else {
                                                            $Title = '<h2 ' . $id . '>' . $optDetails['Value'] . '</h2>';
                                                        }
                                                        ?>
    <div <?php 
                                                        echo $option_id . $class;
                                                        ?>
>
      <?php 
                                                        if (isset($optDetails['Icon'])) {
                                                            screen_icon($optDetails['Icon']);
                                                        }
                                                        ?>
      <?php 
                                                        echo $Title;
                                                        ?>
      <?php 
                                                        if (isset($optDetails['Description'])) {
                                                            echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                                        }
                                                        ?>
      <?php 
                                                        if (isset($optDetails['Buttons'])) {
                                                            $this->displayButtons($optDetails['Buttons']);
                                                        }
                                                        ?>
    </div>
<?php 
                                                    } else {
                                                        if ($optDetails['Type'] == 'subhead') {
                                                            $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                                                            // Insert a Sub-Heading Item
                                                            //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                            $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_opt_container"' : 'class="al_opt_container"';
                                                            if (isset($optDetails['Title_Class'])) {
                                                                $Title = '<div ' . $id . ' class="' . $optDetails['Title_Class'] . '">' . $optDetails['Value'] . '</div>';
                                                            } else {
                                                                $Title = '<h3 ' . $id . '>' . $optDetails['Value'] . '</h3>';
                                                            }
                                                            ?>
    <div <?php 
                                                            echo $option_id . $class;
                                                            ?>
>
      <?php 
                                                            if (isset($optDetails['Icon'])) {
                                                                screen_icon($optDetails['Icon']);
                                                            }
                                                            ?>
      <?php 
                                                            echo $Title;
                                                            ?>
      <?php 
                                                            if (isset($optDetails['Description'])) {
                                                                echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                                            }
                                                            ?>
      <?php 
                                                            if (isset($optDetails['Buttons'])) {
                                                                $this->displayButtons($optDetails['Buttons']);
                                                            }
                                                            ?>
    </div>
<?php 
                                                        } else {
                                                            if ($optDetails['Type'] == 'section') {
                                                                $id = isset($optDetails['Id']) ? 'id="' . $optDetails['Id'] . '"' : '';
                                                                // Insert a Section
                                                                //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                                if (isset($optDetails['Title_Class'])) {
                                                                    $Title = '<div ' . $id . ' class="' . $optDetails['Title_Class'] . '">' . $optDetails['Value'] . '</div>';
                                                                } else {
                                                                    $Title = '<h4 ' . $id . '>' . $optDetails['Value'] . '</h4>';
                                                                }
                                                                $class = isset($optDetails['Class']) ? 'class="' . $optDetails['Class'] . ' al_options"' : 'class="al_options"';
                                                                $s_class = isset($optDetails['Section_Class']) ? 'class="' . $optDetails['Section_Class'] . '"' : '';
                                                                ?>
    <div <?php 
                                                                echo $option_id;
                                                                ?>
 class="al_section">
     <div <?php 
                                                                echo $s_class;
                                                                ?>
 >
      <?php 
                                                                echo $Title;
                                                                if (isset($optDetails['Description'])) {
                                                                    echo '<div class="al_description">' . $optDetails['Description'] . '</div>';
                                                                }
                                                                if (isset($optDetails['Buttons'])) {
                                                                    $this->displayButtons($optDetails['Buttons']);
                                                                }
                                                                ?>
     </div>
     <div <?php 
                                                                echo $class;
                                                                ?>
>
<?php 
                                                            } else {
                                                                if ($optDetails['Type'] == 'end') {
                                                                    // End a Section
                                                                    //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                                    echo "</div></div>";
                                                                } else {
                                                                    // Unknown
                                                                    //////////////////////////////////////////////////////////////////////////////////////////////////////////////
                                                                    // echo "<pre>UNKNOWN:"; print_r ($optDetails); echo "</pre>";
                                                                }
                                                            }
                                                        }
                                                    }
                                                }
                                            }
                                        }
                                    }
                                }
                            }
                        }
                    }
                }
            }
            if ($Close) {
                if ($NoTable) {
                    ?>
 </form>
</div>
<?php 
                } else {
                    ?>
</table>
<?php 
                }
            }
        }