Page MenuHomeWickedGov Phorge
Files F5996312

Fun1.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

Fun1.php
View Options

<?php
declare( strict_types = 1 );
namespace MediaWiki\Extension\Math\WikiTexVC\Nodes;
use MediaWiki\Extension\Math\WikiTexVC\MMLnodes\MMLmo;
use MediaWiki\Extension\Math\WikiTexVC\MMLnodes\MMLmover;
use MediaWiki\Extension\Math\WikiTexVC\MMLnodes\MMLmrow;
use MediaWiki\Extension\Math\WikiTexVC\TexUtil;
class Fun1 extends TexNode {
/** @var string */
protected $fname;
/** @var TexNode */
protected $arg;
/** @var TexUtil */
private $tu;
public function __construct( string $fname, TexNode $arg ) {
parent::__construct( $fname, $arg );
$this->fname = $fname;
$this->arg = $arg;
$this->tu = TexUtil::getInstance();
}
/**
* @return string
*/
public function getFname(): string {
return $this->fname;
}
/**
* @return TexNode
*/
public function getArg(): TexNode {
return $this->arg;
}
/** @inheritDoc */
public function inCurlies() {
return $this->render();
}
/** @inheritDoc */
public function render() {
return '{' . $this->fname . ' ' . $this->arg->inCurlies() . '}';
}
/** @inheritDoc */
public function renderMML( $arguments = [], &$state = [] ) {
return $this->parseToMML( $this->fname, $arguments, null );
}
public function createMover( string $inner, array $moArgs = [] ): string {
$mrow = new MMLmrow();
$mo = new MMLmo( "", $moArgs );
$mover = new MMLmover();
$ret = $mrow->encapsulateRaw(
$mrow->encapsulateRaw(
$mover->encapsulateRaw(
$this->args[1]->renderMML() .
$mo->encapsulateRaw( $inner )
)
)
);
return $ret;
}
/** @inheritDoc */
public function extractIdentifiers( $args = null ) {
if ( $args == null ) {
$args = [ $this->arg ];
}
$letterMods = array_keys( $this->tu->getBaseElements()['is_letter_mod'] );
if ( in_array( $this->fname, $letterMods, true ) ) {
$ident = $this->arg->getModIdent();
if ( !isset( $ident[0] ) ) {
return parent::extractIdentifiers( $args );
}
// in difference to javascript code: taking first element of array here.
return [ $this->fname . '{' . $ident[0] . '}' ];
} elseif ( array_key_exists( $this->fname, $this->tu->getBaseElements()['ignore_identifier'] ) ) {
return [];
}
return parent::extractIdentifiers( $args );
}
/** @inheritDoc */
public function extractSubscripts() {
return $this->getSubs( $this->arg->extractSubscripts() );
}
/** @inheritDoc */
public function getModIdent() {
return $this->getSubs( $this->arg->getModIdent() );
}
private function getSubs( array $subs ): array {
$letterMods = array_keys( $this->tu->getBaseElements()['is_letter_mod'] );
if ( isset( $subs[0] ) && in_array( $this->fname, $letterMods, true ) ) {
// in difference to javascript code: taking first element of array here.
return [ $this->fname . '{' . $subs[0] . '}' ];
}
return [];
}
}

File Metadata

Mime Type
text/x-php
Expires
Oct 4 2026, 04:15 (5 w, 4 h ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
54/ff/87bcb1bef5684530fb5278fc660d
Default Alt Text
Fun1.php (2 KB)

Event Timeline