imported>Mathieu |
imported>Ladenberger |
Line 1: |
Line 1: |
− | /* <pre><nowiki> */
| + | == Overview == |
| + | {{TODO}} |
| | | |
− | // [[User:Lupin/popups.js]] - please include this line | + | == Motivations / Decisions == |
− | //document.write('<script type="text/javascript" src="'
| + | '''B to TLA+''' |
− | // + 'http://wiki.event-b.org/index.php?title=User:Mathieu/popups.js'
| |
− | // + '&action=raw&ctype=text/javascript&dontcountme=s"></script>');
| |
− | importScript('User:Mathieu/popups.js');
| |
| | | |
| + | '''LTL Fairness''' |
| | | |
− | // This will add an [edit top] link at the top of all pages except preview pages
| + | '''Theory Support''' |
− | // by User:Pile0nades
| |
| | | |
− | function editTopLink() {
| + | '''Physical Units''' |
− | // if this is preview page or generated page, stop
| |
− | if(document.getElementById("wikiPreview") || window.location.href.indexOf("w/index.php?title=Special:") != -1) return;
| |
| | | |
− | // get the page title
| + | The physical units analysis has been further stabilised, several reported bugs have been fixed. |
− | var pageTitle = document.title.split(" - ")[0].replace(" ", "_");
| + | Support for physical units has been extended to theories along with the general theory-related improvements of ProB mentioned in the previous paragraph. |
| + | The plug-in was ported to Rodin 3, all bugfixes and changes could be back ported to Rodin 2 successfully. |
| | | |
− | // create div and set innerHTML to link
| + | Further extension to the unit analysis include: |
− | var divContainer = document.createElement("div");
| + | * Support for the analysis of units throughout refinement relations. |
− | divContainer.innerHTML = '<div class="editsection" style="float:right;margin-left:5px;margin-top:3px;">[<a href="/w/index.php?title='+pageTitle+'&action=edit§ion=0" title="'+document.title.split(" - ")[0]+'">edit top</a>]</div>';
| + | * Support for abstract units like "length" that can later be concretised to standard SI units. |
| | | |
− | // insert divContainer into the DOM before the h1
| + | {{TODO}} |
− | document.getElementById("content").insertBefore(divContainer, document.getElementsByTagName("h1")[0]);
| |
| | | |
− | }
| + | == Available Documentation == |
| | | |
− | addLoadEvent(editTopLink);
| + | '''ProB'''<br> |
| + | The ProB Website<ref>http://www.stups.uni-duesseldorf.de/ProB</ref> is the place where we collect information on the ProB toolset. There are several tutorials on ProB available in the User manual section. We also supply documentation on extending ProB for developers. |
| | | |
| + | In addition we run a bug tracking system<ref>http://jira.cobra.cs.uni-duesseldorf.de/</ref> to document known bugs, workarounds and feature requests. |
| | | |
− | var suiviManagerAllPages = new Array();
| + | {{TODO}} |
− |
| |
− | function SuiviManagerRegexp(regexp)
| |
− | { | |
− | var match = new RegExp(regexp);
| |
| | | |
− | for (var i=0;i<suiviManagerAllPages.length;i++) {
| + | == Conclusion == |
− | var pageName = suiviManagerAllPages[i].childNodes[0].getAttribute("value");
| + | {{TODO}} |
− | if (match.test(pageName)) {
| |
− | suiviManagerAllPages[i].childNodes[0].checked=true;
| |
− | }
| |
− | }
| |
− | } | |
− |
| |
− | function SuiviManagerLiensRouges()
| |
− | {
| |
| | | |
− | for (var i=0;i<suiviManagerAllPages.length;i++) {
| + | == References == |
− | var pageClass = suiviManagerAllPages[i].childNodes[1].getAttribute("class");
| + | <references/> |
− | if (pageClass && pageClass=="new") {
| |
− | suiviManagerAllPages[i].childNodes[0].checked=true;
| |
− | }
| |
− | }
| |
− | }
| |
− | | |
− | function SuiviManagerDeselect()
| |
− | {
| |
− | for (var i=0;i<suiviManagerAllPages.length;i++) {
| |
− | suiviManagerAllPages[i].childNodes[0].checked=false;
| |
− | }
| |
− | }
| |
− | | |
− | | |
− | function SuiviManager() {
| |
− | if (document.URL.indexOf("http://wiki.event-b.org/Special:Watchlist/edit")!=0) return;
| |
− |
| |
− | var a=0;
| |
− | var b=0;
| |
− | var interfaceMsg = new Array();
| |
− | var regexpList = new Array();
| |
− |
| |
− | //////////////////////////////////////////////////
| |
− | // Expressions régulières et liens de l'interface
| |
− | //
| |
− | // besoin d'aide pour les regexp ?
| |
− | // http://www.commentcamarche.net/javascript/jsregexp.php3
| |
− | //////////////////////////////////////////////////
| |
− | | |
− | interfaceMsg[a++] = "<b>Tout cocher</b>";
| |
− | regexpList[b++] = "^.*";
| |
− |
| |
− | interfaceMsg[a++] = "Utilisateurs";
| |
− | regexpList[b++] = "^Utilisateur:";
| |
− |
| |
− |
| |
− | interfaceMsg[a++] = "Images";
| |
− | regexpList[b++] = "^Image:";
| |
− |
| |
− | interfaceMsg[a++] = "Modèles";
| |
− | regexpList[b++] = "^Modèle:";
| |
− |
| |
− | interfaceMsg[a++] = "Aide";
| |
− | regexpList[b++] = "^Aide:";
| |
− |
| |
− | interfaceMsg[a++] = "Catégories";
| |
− | regexpList[b++] = "^Catégorie:";
| |
− |
| |
− |
| |
− | | |
− | //////////////////////////////////////////////////
| |
− | var topTag = document.getElementById("contentSub")
| |
− |
| |
− | // récupère toutes les pages
| |
− | var watchlist = document.getElementsByTagName("ul");
| |
− | | |
− | for (u=0;u<watchlist.length;u++) {
| |
− | var entries = watchlist[u].getElementsByTagName("li");
| |
− | for (i=0;i<entries.length;i++) {
| |
− | suiviManagerAllPages.push(entries[i]);
| |
− | }
| |
− | }
| |
− |
| |
− | // prépare la mini-interface
| |
− | var str = "<div style=\"background-color:#8ecfe4;font-size:1px;height:8px;border:1px solid #AAAAAA;-moz-border-radius-topright:0.5em;-moz-border-radius-topleft:0.5em;\"></div>"
| |
− | + "<div style=\"border:1px solid #6ac1de;border-top:0px solid white;padding:5px 5px 0 5px;margin-bottom:3ex;\"><p>"
| |
− | + "<div style=\"float: left; text-align: left; white-space: nowrap;\"></div>"
| |
− |
| |
− | for (var cpt = 0; cpt < interfaceMsg.length; cpt ++) {
| |
− | str += "<a href=\"javascript:SuiviManagerRegexp('" + regexpList[cpt] + "')\">"
| |
− | + interfaceMsg[cpt]
| |
− | + " ·</a> "
| |
− | }
| |
− |
| |
− | str += "<a href=\"javascript:SuiviManagerLiensRouges()\">"
| |
− | + "Retirer les liens rouges"
| |
− | + " ·</a> "
| |
− |
| |
− | str += "<a href=\"javascript:SuiviManagerDeselect()\">"
| |
− | + "<b>Enlever toutes les coches</b>"
| |
− | + " ·</a> "
| |
− |
| |
− | topTag.innerHTML = topTag.innerHTML + "<br clear=all />" + str + "<p></div>"
| |
− |
| |
− | }
| |
− | | |
− | addLoadEvent(SuiviManager);
| |
− | | |
− | | |
− | /*
| |
− | * Auto Refresh
| |
− | */
| |
− | | |
− | function refresh()
| |
− | {
| |
− | window.location.href = unescape(window.location);
| |
− | }
| |
− | | |
− | function refresh1min()
| |
− | {
| |
− | // the timeout value should be the same as in the "refresh" meta-tag
| |
− | setTimeout( "refresh()", 60000 );
| |
− | }
| |
− | | |
− | function refresh5min()
| |
− | {
| |
− | // the timeout value should be the same as in the "refresh" meta-tag
| |
− | setTimeout( "refresh()", 300000 );
| |
− | }
| |
− | | |
− | if (location.href.indexOf('Special:Recentchanges') != -1) {
| |
− | addLoadEvent(refresh5min);
| |
− | }
| |
− | | |
− | if (location.href.indexOf('Special:Watchlist') != -1) {
| |
− | addLoadEvent(refresh5min);
| |
− | }
| |
− | | |
− | /* </nowiki></pre> */
| |