Home
last modified time | relevance | path

Searched refs:nameCanonical (Results 1 – 5 of 5) sorted by relevance

/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/libjava/gnu/java/security/x509/
H A DX500DistinguishedName.java196 private String nameCanonical; field in X500DistinguishedName
388 if (nameCanonical != null) in toCanonical()
389 return nameCanonical; in toCanonical()
390 nameCanonical = toRFC2253(); in toCanonical()
391 return nameCanonical; // XXX canonicalize in toCanonical()
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/libjava/gnu/java/security/x509/
H A DX500DistinguishedName.java196 private String nameCanonical; field in X500DistinguishedName
388 if (nameCanonical != null) in toCanonical()
389 return nameCanonical; in toCanonical()
390 nameCanonical = toRFC2253(); in toCanonical()
391 return nameCanonical; // XXX canonicalize in toCanonical()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Abstract/
H A DName.hs43 …, nameCanonical :: C.Name -- ^ The concrete name in the original definition (needed by primSho… function
220 foldr (C.Qual . nameConcrete) (C.QName $ nameCanonical x) (mnameToList m)
400 … useCanonical q = q { qnameName = (qnameName q) { nameConcrete = nameCanonical (qnameName q) } }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Primitive/
H A DBase.hs180 let s = prettyShow (nameCanonical $ qnameName q)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs271 , nameCanonical = x function