ComputerVirtualMachine::getTypeName PHP Méthode