Documentaciónextraer_extension(archivo)
Nombre
extraer_extension - Obtiene la extension de un nombre de archivo.
Sinopsis
ext = strings.extraer_extension(archivo)
Descripcion
Obtiene la extension de un nombre de archivo sin incluir el punto final.
Usa la ultima aparicion de "." para soportar nombres con varios puntos, por ejemplo foto.perfil.jpg.
Es util para:
- identificar el tipo de archivo por sufijo
- separar nombre y extension
- validar nombres antes de procesarlos
Comportamiento
- Busca la ultima aparicion de
".". - Retorna la extension sin incluir el punto.
- Si no hay punto, devuelve un mensaje indicando que no hay extension.
- Distingue casos especiales como punto final o archivos ocultos tipo
.bashrc.
Funciones API relacionadas
strings.imprimir()strings.caracter_aleatorio()strings.letra_aleatoria()strings.copiar()strings.rellenar()
Parámetros
| Parámetro | Tipo | Descripción |
|---|---|---|
| archivo | STRING | Nombre del archivo. |
Valor de retorno
STRING - Extension del archivo, sin el punto.
Casos especiales:
- Sin punto: retorna un mensaje indicando que no hay extension.
- Punto al final: retorna un mensaje indicando punto final.
- Archivo oculto tipo ".bashrc": retorna un mensaje indicando punto al inicio.
Ejemplo
ejemplo.blox
INCLUIR "strings.api"
FUNCION PRINCIPAL
INICIO
STRING archivo, extension
archivo = "xxx.fil"
extension = strings.extraer_extension(archivo)
IMPRIMIR("\nLa extension de '" + archivo + "'' es: " + "'" + extension + "'")
FINAL