163 lines
4.4 KiB
PHP
163 lines
4.4 KiB
PHP
<?php
|
|
session_start();
|
|
require("system.inc.php");
|
|
|
|
if (!isset($_SESSION["user_token"]))
|
|
{
|
|
$_SESSION["LoginRedirectURL"] = "bst/mocha";
|
|
header("Location: login.php");
|
|
return true;
|
|
}
|
|
|
|
if (isset($_GET["vp"]))
|
|
{
|
|
$virtualPath = explode("/", $_GET["vp"]);
|
|
}
|
|
|
|
require("fx/system.inc.php");
|
|
require("MochaIDE.inc.php");
|
|
$ide = new MochaIDE(get_virtual_path_root(__FILE__));
|
|
|
|
?>
|
|
<html>
|
|
<head>
|
|
<title>Mocha IDE</title>
|
|
<link rel="stylesheet" type="text/css" href="style/main.css" />
|
|
<style type="text/css">
|
|
div.tx-wrapper
|
|
{
|
|
border: solid 1px #aaaaaa;
|
|
display: flex;
|
|
flex-direction: column;
|
|
}
|
|
div.tx-toolbar
|
|
{
|
|
display: flex;
|
|
flex-direction: row;
|
|
padding: 16px;
|
|
background-color: #eee;
|
|
}
|
|
div.tx-toolbar > a.uwt-button
|
|
{
|
|
|
|
}
|
|
@media (min-width: 1000px)
|
|
{
|
|
div.tx-wrapper
|
|
{
|
|
width: 80%;
|
|
margin-top: 128px;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
}
|
|
div.tx
|
|
{
|
|
color: #000000;
|
|
font-family: monospace;
|
|
font-size: 10pt;
|
|
padding: 16px;
|
|
}
|
|
div.tx a
|
|
{
|
|
color: inherit;
|
|
text-decoration: none;
|
|
}
|
|
div.tx a:hover
|
|
{
|
|
text-decoration: underline;
|
|
}
|
|
div.tx a.uwt-button
|
|
{
|
|
display: inline-block;
|
|
min-width: auto;
|
|
min-height: auto;
|
|
padding: 2px 8px;
|
|
border-radius: 4px;
|
|
margin: 4px;
|
|
color: #676a6c;
|
|
text-decoration: none;
|
|
}
|
|
div.tx span.tx-keyword
|
|
{
|
|
color: #0000aa;
|
|
font-weight: bold;
|
|
}
|
|
div.tx span.tx-category
|
|
{
|
|
color: #003366;
|
|
font-weight: bold;
|
|
}
|
|
div.tx .tx-reference
|
|
{
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
div.tx .tx-reference > i
|
|
{
|
|
opacity: 0;
|
|
position: relative;
|
|
display: inline-block;
|
|
width: 0px;
|
|
}
|
|
div.tx .tx-reference::before
|
|
{
|
|
font-family: "FontAwesome";
|
|
content: "\f061";
|
|
}
|
|
div.tx span.tx-class
|
|
{
|
|
color: #660066;
|
|
font-weight: bold;
|
|
}
|
|
div.tx div.tx-indent
|
|
{
|
|
padding-left: 24px;
|
|
}
|
|
div.tx .tx-comment
|
|
{
|
|
color: #aaaaaa;
|
|
}
|
|
div.tx .tx-instance
|
|
{
|
|
color: #006666;
|
|
}
|
|
div.tx > div:hover
|
|
{
|
|
background-color: #eeeeee;
|
|
}
|
|
</style>
|
|
</head>
|
|
<body class="uwt-layout uwt-layout-box uwt-orientation-vertical">
|
|
<div class="uwt-header uwt-layout uwt-layout-box uwt-orientation-horizontal">
|
|
<label>Mocha IDE v0.3.2023.10 rev 301138</label>
|
|
</div>
|
|
<div class="tx-wrapper">
|
|
<div class="tx-toolbar">
|
|
<div style="margin-left: auto;">
|
|
<a class="uwt-button uwt-color-primary" href="#"><i class="fa fa-download"></i><span class="uwt-title">Download Class Definition</span></a>
|
|
</div>
|
|
</div>
|
|
<div class="tx" style="flex-grow: 1;">
|
|
<div><span class="tx-keyword">class</span> <a href="<?php echo($ide->ExpandRelativePath("~/d/inst/1$2342.htmld")); ?>">Test, 1$2342</a> { </div>
|
|
<div> </div>
|
|
<div><span class="tx-category">attributes:</span> <a class="uwt-button" href="#"><i class="fa fa-plus"></i> <span class="uwt-title">add</span></a></div>
|
|
<div class="tx-indent">name, 4$1 : <span class="tx-keyword">text</span></div>
|
|
<div class="tx-indent">order, 4$7 : <span class="tx-keyword">text</span></div>
|
|
<div> </div>
|
|
<div><span class="tx-category">relationships:</span> <a class="uwt-button" href="#"><i class="fa fa-plus"></i> <span class="uwt-title">add</span></a></div>
|
|
<div class="tx-indent"><a href="#">forTestClass, 3$11347</a> <span class="tx-reference"><i>-></i> referenced by <span class="tx-class"><a href="#">TestClass*</a></span></span></div>
|
|
<div> </div>
|
|
<div><span class="tx-category">functions:</span> <a class="uwt-button" href="#"><i class="fa fa-plus"></i> <span class="uwt-title">add</span></a></div>
|
|
<div class="tx-comment tx-indent">/**<br/ >formerly known as: <a href="#">Test@get Test Class(GRS)*S(public), 40$123748</a><br /><br />@return the Test class<br /> */</div>
|
|
<div class="tx-indent"><span class="tx-keyword">static</span> <span class="tx-keyword">function</span> getTestClass() : <span class="tx-class">TestClass</span> = <span class="tx-instance">TestClassSingleton</span></div>
|
|
<div> </div>
|
|
<div><span class="tx-category">instances:</span> <a class="uwt-button" href="#"><i class="fa fa-plus"></i> <span class="uwt-title">add</span></a></div>
|
|
<div class="tx-indent"><span class="tx-instance">TestOne, 2342$1</span></div>
|
|
<div class="tx-indent"><span class="tx-instance">TestAnother, 2342$2</span></div>
|
|
<div> </div>
|
|
<div>}</div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|